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 Tue Dec 21 2010 21:52:13 for RevKit by doxygen 1.7.1