Namespaces | Typedefs

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.

 All Classes Namespaces Files Functions Variables Typedefs Enumerator Friends Defines

Generated on Wed May 25 2011 16:34:52 for RevKit by doxygen 1.7.3