Classes | Namespaces | Typedefs | Functions
esop_synthesis.hpp File Reference

ESOP Based Synthesis. More...

Classes

struct  weighted_reordering
 Cubes reordering strategy as proposed in [FTR07]. More...
 

Namespaces

namespace  revkit
 Main namespace.
 

Typedefs

typedef boost::function< void(std::vector
< std::pair
< binary_truth_table::cube_type,
binary_truth_table::cube_type > > &)> 
cube_reordering_func
 Functor for cubes reordering in ESOP based synthesis. More...
 

Functions

void no_reordering (std::vector< std::pair< binary_truth_table::cube_type, binary_truth_table::cube_type > > &cubes)
 Empty functor for cube_reordering_func. More...
 
bool esop_synthesis (circuit &circ, const std::string &filename, properties::ptr settings=properties::ptr(), properties::ptr statistics=properties::ptr())
 ESOP Based Synthesis. More...
 
pla_blif_synthesis_func esop_synthesis_func (properties::ptr settings=properties::ptr(new properties()), properties::ptr statistics=properties::ptr(new properties()))
 Functor for the esop_synthesis algorithm. More...
 

Detailed Description

ESOP Based Synthesis.


Generated on Tue Apr 16 2013 08:12:02 for RevKit by doxygen 1.8.3.1