bdd_synthesis.hpp File Reference

BDD Based Synthesis. More...

Namespaces
namespace	revkit
	Main namespace.

Functions
bool	bdd_synthesis (circuit &circ, const std::string &filename, properties::ptr settings=properties::ptr(), properties::ptr statistics=properties::ptr())
	BDD based synthesis approach. More...
pla_blif_synthesis_func	bdd_synthesis_func (properties::ptr settings=properties::ptr(new properties()), properties::ptr statistics=properties::ptr(new properties()))
	Functor for the bdd_synthesis_func algorithm. More...

Detailed Description

BDD Based Synthesis.