partial_simulation.hpp File Reference

Simulation considering constant inputs and garbage outputs. More...

Namespaces
namespace	revkit
	Main namespace.

Functions
bool	partial_simulation (boost::dynamic_bitset<> &output, const circuit &circ, const boost::dynamic_bitset<> &input, properties::ptr settings=properties::ptr(), properties::ptr statistics=properties::ptr())
	Simulation considering constant inputs and garbage outputs. More...
simulation_func	partial_simulation_func (properties::ptr settings=properties::ptr(new properties()), properties::ptr statistics=properties::ptr(new properties()))
	Functor for the partial_simulation algorithm. More...

Detailed Description

Simulation considering constant inputs and garbage outputs.