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.
typedef functor< bool(circuit
const &, circuit const &impl)> 
equivalence_func
 Functor for equivalence checker functions.

Detailed Description

General Verification type definitions.


Generated on Fri Jul 2 07:50:42 2010 for by doxygen 1.6.3