revkit | Main namespace |
standard_circuit | Represents a circuit |
subcircuit | Represents a sub-circuit |
circuit | Main circuit class |
active_controls | Slot for adding control lines automatically |
target_line_adder | Helper class for adding lines in an easier way |
control_line_adder | Helper class for adding lines in an easier way |
constructible_tree | This class represents a tree based on a Boost.Graph |
copy_metadata_settings | Settings for copy_metadata |
functor | Functor class for interfacing algorithms |
gate | Represents a gate in a circuit |
filtered_gate | Wrapper for a gate to filter some lines |
create_image_settings | Generic class for the create_image function (Template Design Pattern) |
create_pstricks_settings | Implementation of create_image_settings for generating LaTeX code using PsTricks |
create_tikz_settings | Implementation of create_image_settings for generating LaTeX code using TikZ |
print_circuit_settings | Settings for print_circuit function |
print_statistics_settings | Settings for print_statistics |
read_pla_settings | Settings for read_pla function |
BDDTable | Contains the result data for read_pla_to_bdd |
circuit_processor | Implementation of revlib_processor to construct a circuit |
specification_processor | Implementation of revlib_processor to construct a reversible_truth_table |
revlib_processor | Base class for actions on the revlib_parser |
write_blif_settings | Settings for write_blif |
write_realization_settings | Settings for write_realization function |
write_specification_settings | Settings for write_specification |
write_verilog_settings | Settings for write_verilog |
bus_collection | Collection for buses |
pattern | Pattern file for sequential simulation |
properties | Property Map for storing settings and statistical information |
toffoli_tag | Target Tag for Toffoli gates |
fredkin_tag | Target Tag for Fredkin gates |
peres_tag | Target Tag for Peres gates |
v_tag | Target Tag for V gates |
vplus_tag | Target Tag for V+ gates |
module_tag | Target Tag for Modules |
truth_table | Represents a truth table |
gate_costs | Calculates the gate costs |
line_costs | Calculates the line costs |
quantum_costs | Calculates the quantum costs |
transistor_costs | Calculates the transistor costs |
program_options | Class for program options on top of the Boost.Program_Options library |
print_timer | Functor for the timer class which prints the run-time to an output stream |
reference_timer | Functor for the timer class which assigns the run-time to a given variable |
properties_timer | Functor for the timer class which assigns the run-time to a property map |
measure_method | Measure Method for timer |
timer | A generic timer class |
embed_and_synthesize | Concrete re-synthesis functor for the revkit::line_reduction algorithm |
shift_window_selection | Window Selection functor based on Shift Window Selection |
line_window_selection | Window Selection functor based on Line Window Selection |
resynthesis_optimization | Re-synthesis optimization (Wrapper for window_optimization) |
core_gate_simulation | A gate simulation implementation of gate_simulation_func |
weighted_reordering | Cubes reordering strategy as proposed in [FTR07] |
standard_decomposition | Default gate-wise decomposition |