circuit_to_truth_table.hpp File Reference

Generates a truth table from a circuit. More...

Namespaces
namespace	revkit
	Main namespace.

Functions
bool	circuit_to_truth_table (const circuit &circ, binary_truth_table &spec, const functor< bool(boost::dynamic_bitset<> &, const circuit &, const boost::dynamic_bitset<> &)> &simulation)
	Generates a truth table from a circuit. More...

Detailed Description

Generates a truth table from a circuit.