synthesis.hpp File Reference

General Synthesis type definitions. More...

Namespaces

namespace  revkit
 

Main namespace.


Typedefs

typedef functor< bool(circuit
&, const binary_truth_table &)> 
truth_table_synthesis_func
 Functor for synthesis based on a truth table.
typedef functor< bool(circuit
&, const std::string &)> 
pla_blif_synthesis_func
 Functor for synthesis based on a file-name (PLA or BLIF).
typedef functor< bool(binary_truth_table
&, const binary_truth_table &)> 
embedding_func
 Functor for embedding a binary truth table in place.
typedef functor< bool(circuit
&, const circuit &)> 
decomposition_func
 Functor for decomposing a reversible circuit into a quantum circuit.

Detailed Description

General Synthesis type definitions.


Generated on Fri Jul 2 07:50:42 2010 for by doxygen 1.6.3