Here is a list of all documented namespace members with links to the namespaces they belong to:

- a -

• add_line_to_circuit() : revkit
• adding_lines() : revkit
• adding_lines_func() : revkit
• append_circuit() : revkit
• append_cnot() : revkit
• append_fredkin() : revkit
• append_gate() : revkit
• append_module() : revkit
• append_not() : revkit
• append_peres() : revkit
• append_toffoli() : revkit
• append_v() : revkit
• append_vplus() : revkit

- b -

• bdd_synthesis() : revkit
• bdd_synthesis_func() : revkit
• binary_truth_table : revkit

- c -

• circuit_hierarchy() : revkit
• circuit_to_truth_table() : revkit
• circuit_variant : revkit
• clear_circuit() : revkit
• constant : revkit
• control_lines() : revkit
• copy_circuit() : revkit
• copy_metadata() : revkit
• cost_function : revkit
• cost_t : revkit
• costs() : revkit
• costs_by_circuit_func : revkit
• costs_by_gate_func : revkit
• counterexample : revkit
• create_image() : revkit
• create_simulation_pattern() : revkit
• cube_reordering_func : revkit

- d -

• decomposition_func : revkit

- e -

• embed_truth_table() : revkit
• embed_truth_table_func() : revkit
• embedding_func : revkit
• equivalence_check() : revkit
• equivalence_check_func() : revkit
• equivalence_func : revkit
• esop_synthesis() : revkit
• esop_synthesis_func() : revkit
• exact_synthesis() : revkit
• exact_synthesis_func() : revkit
• expand_circuit() : revkit
• extend_truth_table() : revkit

- f -

• find_empty_lines() : revkit
• find_non_empty_lines() : revkit
• flatten_circuit() : revkit
• fully_specified() : revkit

- g -

• gate_decomposition_func : revkit
• gate_simulation_func : revkit
• get() : revkit

- h -

• hierarchy_graph : revkit
• hierarchy_tree : revkit

- i -

• insert_circuit() : revkit
• insert_cnot() : revkit
• insert_fredkin() : revkit
• insert_gate() : revkit
• insert_module() : revkit
• insert_not() : revkit
• insert_peres() : revkit
• insert_toffoli() : revkit
• insert_v() : revkit
• insert_vplus() : revkit
• is_fredkin() : revkit
• is_module() : revkit
• is_peres() : revkit
• is_toffoli() : revkit
• is_type() : revkit
• is_v() : revkit
• is_vplus() : revkit

- k -

• kfdd_synthesis() : revkit
• kfdd_synthesis_dtl_negative_davio : revkit
• kfdd_synthesis_dtl_positive_davio : revkit
• kfdd_synthesis_dtl_shannon : revkit
• kfdd_synthesis_func() : revkit
• kfdd_synthesis_growth_limit_absolute : revkit
• kfdd_synthesis_growth_limit_relative : revkit
• kfdd_synthesis_reordering_dtl_sifting : revkit
• kfdd_synthesis_reordering_exact_dtl_friedman : revkit
• kfdd_synthesis_reordering_exact_dtl_permutation : revkit
• kfdd_synthesis_reordering_exact_friedman : revkit
• kfdd_synthesis_reordering_exact_permutation : revkit
• kfdd_synthesis_reordering_inverse : revkit
• kfdd_synthesis_reordering_none : revkit
• kfdd_synthesis_reordering_sifting : revkit
• kfdd_synthesis_reordering_sifting_and_dtl_sifting : revkit
• kfdd_synthesis_sifting_method_greatest : revkit
• kfdd_synthesis_sifting_method_initial : revkit
• kfdd_synthesis_sifting_method_loser_first : revkit
• kfdd_synthesis_sifting_method_random : revkit
• kfdd_synthesis_sifting_method_verify : revkit

- l -

• line_reduction() : revkit
• line_reduction_func() : revkit
• lnn_optimization() : revkit
• lnn_optimization_func() : revkit

- m -

• multi_step_simulation_func : revkit

- n -

• no_reordering() : revkit
• number_to_truth_table_cube() : revkit

- o -

• operator<<() : revkit
• optimization_func : revkit

- p -

• partial_simulation() : revkit
• partial_simulation_func() : revkit
• pla_blif_synthesis_func : revkit
• prepend_circuit() : revkit
• prepend_cnot() : revkit
• prepend_fredkin() : revkit
• prepend_gate() : revkit
• prepend_module() : revkit
• prepend_not() : revkit
• prepend_peres() : revkit
• prepend_toffoli() : revkit
• prepend_v() : revkit
• prepend_vplus() : revkit
• print_circuit() : revkit
• print_statistics() : revkit

- q -

• quantum_decomposition() : revkit
• quantum_decomposition_func() : revkit

- r -

• read_pattern() : revkit
• read_pla() : revkit
• read_pla_to_bdd() : revkit
• read_realization() : revkit
• read_specification() : revkit
• reed_muller_synthesis() : revkit
• reed_muller_synthesis_func() : revkit
• reverse_circuit() : revkit
• revkit_version() : revkit
• revlib_parser() : revkit

- s -

• same_type() : revkit
• select_window_func : revkit
• sequential_simulation() : revkit
• sequential_simulation_func() : revkit
• sequential_step_result_func : revkit
• set_error_message() : revkit
• simple_simulation() : revkit
• simple_simulation_func() : revkit
• simulation_func : revkit
• step_result_func : revkit
• swop() : revkit
• swop_func() : revkit
• swop_step_func : revkit

- t -

• target_lines() : revkit
• transformation_based_synthesis() : revkit
• transformation_based_synthesis_func() : revkit
• transposition_based_synthesis() : revkit
• transposition_based_synthesis_func() : revkit
• transposition_to_circuit() : revkit
• truth_table_cube_to_number() : revkit
• truth_table_synthesis_func : revkit

- w -

• window_optimization() : revkit
• window_optimization_func() : revkit
• window_synthesis_func : revkit
• write_blif() : revkit
• write_realization() : revkit
• write_specification() : revkit
• write_verilog() : revkit