swop.hpp File Reference

SWOP - Synthesis With Output Permutation. More...

Namespaces
namespace	revkit
	Main namespace.

Typedefs
typedef boost::function< void()>	swop_step_func
	Functor which can be called after each SWOP iteration. More...

Functions
bool	swop (circuit &circ, const binary_truth_table &spec, properties::ptr settings=properties::ptr(), properties::ptr statistics=properties::ptr())
	SWOP Synthesis Approach. More...
truth_table_synthesis_func	swop_func (properties::ptr settings=properties::ptr(new properties()), properties::ptr statistics=properties::ptr(new properties()))
	Functor for the swop algorithm. More...

Detailed Description

SWOP - Synthesis With Output Permutation.