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

Detailed Description

General Synthesis type definitions.


Generated on Tue Apr 16 2013 08:12:02 for RevKit by doxygen 1.8.3.1