gbdd Class List

Here are the classes, structs, unions and interfaces with brief descriptions:

gbdd::Bdd	A BDD in some space
gbdd::Bdd::BooleanVar
gbdd::Bdd::Factory
gbdd::Bdd::FiniteVar
gbdd::Bdd::FiniteVars
gbdd::Bdd::Vars
gbdd::BddEquivalenceRelation	Special case of BinaryRelation
gbdd::BddRelation	A relation implemented as BDD
gbdd::BddSet
gbdd::BddSet::const_iterator	Iterator for iterating over member of a BddSet
gbdd::BoolConstraint
gbdd::BoolConstraint::Factory
gbdd::BuddySpace	Wrapper for the BuDDy implementation of BDDs
gbdd::Domain	A set of variables of a BDD to represent a component of a relation
gbdd::Domain::const_iterator	Iterator
gbdd::Domain::VarMap	A mapping on variables used for renaming of BDDs
gbdd::Domains	Tuple of domains used to type Relation
gbdd::GSpace	Slow reference implementation of Space
gbdd::MutexSpace
gbdd::Space	An abstract interface to BDD implementations
gbdd::Space::BinaryFunction< Arg1, Arg2, Result >	Binary function with virtual implementation
gbdd::Space::Error
gbdd::Space::UnaryFunction< Arg, Result >	Unary function with virtual implementation
gbdd::SpecializedRelation< StructureT, RelationT, SetT >
gbdd::StructureBinaryView< StructureT, RelationT, SetT >
gbdd::StructureConstraint
gbdd::StructureConstraint::Factory
gbdd::StructureConstraint::VarPool	Pool of variables that can be allocated in different ways
gbdd::StructureRelation	Typed Structure objects
gbdd::StructureSet
gbdd::StructureSetView< StructureT, RelationT, SetT >

---