verification.hpp File Reference

General Verification type definitions. More...

Namespaces
namespace	revkit
	Main namespace.

Typedefs
typedef std::vector< std::pair < boost::dynamic_bitset <>, boost::dynamic_bitset<> > >	counterexample
	Datastructure for counterexamples. More...
typedef functor< bool(circuit const &, circuit const &impl)>	equivalence_func
	Functor for equivalence checker functions. More...

Detailed Description

General Verification type definitions.