• binary_truth_table : revkit
• circuit_variant : revkit
• constant : revkit
• cost_function : revkit
• cost_t : revkit
• costs_by_circuit_func : revkit
• costs_by_gate_func : revkit
• counterexample : revkit
• cube_reordering_func : revkit
• decomposition_func : revkit
• embedding_func : revkit
• equivalence_func : revkit
• gate_decomposition_func : revkit
• gate_simulation_func : revkit
• hierarchy_graph : revkit
• hierarchy_tree : revkit
• multi_step_simulation_func : revkit
• optimization_func : revkit
• pla_blif_synthesis_func : revkit
• select_window_func : revkit
• sequential_step_result_func : revkit
• simulation_func : revkit
• step_result_func : revkit
• swop_step_func : revkit
• truth_table_synthesis_func : revkit
• window_synthesis_func : revkit