Classes | Namespaces | Typedefs | Functions

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.

Functions

bool line_reduction (circuit &circ, const circuit &base, properties::ptr settings=properties::ptr(), properties::ptr statistics=properties::ptr())
 Line Reduction Optimization.
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.

Detailed Description

Line Reduction Optimization.

 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