gbdd Class Hierarchy

This inheritance list is sorted roughly, but not completely, alphabetically:

• gbdd::Bdd::FiniteVar
  • gbdd::Bdd::BooleanVar
• gbdd::Bdd::FiniteVars
• gbdd::Bdd::Vars
• gbdd::BddSet::const_iterator
• gbdd::Domain
• gbdd::Domain::const_iterator
• gbdd::Domain::VarMap
• gbdd::Domains
• gbdd::Space
  • gbdd::BuddySpace
  • gbdd::GSpace
  • gbdd::MutexSpace
• gbdd::Space::BinaryFunction< Arg1, Arg2, Result >
• gbdd::Space::Error
• gbdd::Space::UnaryFunction< Arg, Result >
• gbdd::StructureBinaryView< StructureT, RelationT, SetT >
  • gbdd::BddEquivalenceRelation
• gbdd::StructureConstraint
  • gbdd::BoolConstraint
    • gbdd::Bdd
• gbdd::StructureConstraint::Factory
  • gbdd::BoolConstraint::Factory
    • gbdd::Bdd::Factory
• gbdd::StructureConstraint::VarPool
• gbdd::StructureRelation
  • gbdd::SpecializedRelation< StructureT, RelationT, SetT >
  • gbdd::SpecializedRelation< Bdd, BddRelation, BddSet >
    • gbdd::BddRelation
      • gbdd::StructureBinaryView< Bdd, BddRelation, BddSet >
      • gbdd::StructureSetView< Bdd, BddRelation, BddSet >
        • gbdd::BddSet
  • gbdd::StructureSetView< StructureConstraint, StructureRelation, StructureSet >
    • gbdd::StructureSet
• gbdd::StructureSetView< StructureT, RelationT, SetT >

---