line_reduction.hpp File Reference

Line Reduction Optimization. More...

Classes
struct	embed_and_synthesize
	Concrete re-synthesis functor for the revkit::line_reduction algorithm. More...

Namespaces
namespace	revkit
	Main namespace.

Typedefs
typedef boost::function< bool(circuit &, binary_truth_table &, const std::vector< unsigned > &order)>	window_synthesis_func
	Functor for re-synthesis in the revkit::line_reduction algorithm. More...

Functions
bool	line_reduction (circuit &circ, const circuit &base, properties::ptr settings=properties::ptr(), properties::ptr statistics=properties::ptr())
	Line Reduction Optimization. More...
optimization_func	line_reduction_func (properties::ptr settings=properties::ptr(new properties()), properties::ptr statistics=properties::ptr(new properties()))
	Functor for the line_reduction algorithm. More...

Detailed Description

Line Reduction Optimization.