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.
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.

 All Classes Namespaces Files Functions Variables Typedefs Enumerator Friends Defines

Generated on Wed May 25 2011 16:34:52 for RevKit by doxygen 1.7.3