Main Page | Namespace List | Class Hierarchy | Class List | File List | Namespace Members | Class Members | File Members

gbdd Class List

Here are the classes, structs, unions and interfaces with brief descriptions:
gbdd::BddA BDD in some space
gbdd::Bdd::BooleanVar
gbdd::Bdd::Factory
gbdd::Bdd::FiniteVar
gbdd::Bdd::FiniteVars
gbdd::Bdd::Vars
gbdd::BddEquivalenceRelationSpecial case of BinaryRelation
gbdd::BddRelationA relation implemented as BDD
gbdd::BddSet
gbdd::BddSet::const_iteratorIterator for iterating over member of a BddSet
gbdd::BoolConstraint
gbdd::BoolConstraint::Factory
gbdd::BuddySpaceWrapper for the BuDDy implementation of BDDs
gbdd::DomainA set of variables of a BDD to represent a component of a relation
gbdd::Domain::const_iteratorIterator
gbdd::Domain::VarMapA mapping on variables used for renaming of BDDs
gbdd::DomainsTuple of domains used to type Relation
gbdd::GSpaceSlow reference implementation of Space
gbdd::MutexSpace
gbdd::SpaceAn 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::VarPoolPool of variables that can be allocated in different ways
gbdd::StructureRelationTyped Structure objects
gbdd::StructureSet
gbdd::StructureSetView< StructureT, RelationT, SetT >

Generated on Thu Aug 12 13:21:42 2004 for gbdd by doxygen 1.3.6