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.