- 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

- c -

• circuit_hierarchy() : revkit
• circuit_to_truth_table() : revkit
• clear_circuit() : revkit
• control_lines() : revkit
• copy_circuit() : revkit
• copy_metadata() : revkit
• costs() : revkit
• create_image() : revkit
• create_simulation_pattern() : revkit

- e -

• embed_truth_table() : revkit
• embed_truth_table_func() : revkit
• equivalence_check() : revkit
• equivalence_check_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 -

• get() : 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_func() : revkit

- l -

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

- n -

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

- o -

• operator<<() : revkit

- p -

• partial_simulation() : revkit
• partial_simulation_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
• sequential_simulation() : revkit
• sequential_simulation_func() : revkit
• set_error_message() : revkit
• simple_simulation() : revkit
• simple_simulation_func() : revkit
• swop() : revkit
• swop_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

- w -

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