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.