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.

Functions

bool swop (circuit &circ, const binary_truth_table &spec, properties::ptr settings=properties::ptr(), properties::ptr statistics=properties::ptr())
 SWOP Synthesis Approach.
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.

Detailed Description

SWOP - Synthesis With Output Permutation.


Generated on Tue Dec 21 2010 21:52:13 for RevKit by doxygen 1.7.1