reed_muller_synthesis.hpp File Reference

Synthesis algorithm based on Reed Muller Spectra. More...

Namespaces
namespace	revkit
	Main namespace.

Functions
bool	reed_muller_synthesis (circuit &circ, const binary_truth_table &spec, properties::ptr settings=properties::ptr(), properties::ptr statistics=properties::ptr())
	Synthesis algorithm based on Reed Muller Spectra. More...
truth_table_synthesis_func	reed_muller_synthesis_func (properties::ptr settings=properties::ptr(new properties()), properties::ptr statistics=properties::ptr(new properties()))
	Functor for the reed_muller_synthesis algorithm. More...

Detailed Description

Synthesis algorithm based on Reed Muller Spectra.