Namespaces | Functions

transformation_based_synthesis.hpp File Reference

Transformation Based Synthesis. More...

Namespaces

namespace  revkit
 

Main namespace.


Functions

bool transformation_based_synthesis (circuit &circ, const binary_truth_table &spec, properties::ptr settings=properties::ptr(), properties::ptr statistics=properties::ptr())
 Synthesizes a circuit using the Transformation Based approach.
truth_table_synthesis_func transformation_based_synthesis_func (properties::ptr settings=properties::ptr(new properties()), properties::ptr statistics=properties::ptr(new properties()))
 Functor for the transformation_based_synthesis algorithm.

Detailed Description

Transformation Based Synthesis.

 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