Uses of Package
SableJBDD.bdd.internal

Packages that use SableJBDD.bdd.internal
SableJBDD.bdd   
SableJBDD.bdd.internal   
 

Classes in SableJBDD.bdd.internal used by SableJBDD.bdd
UniqueObject
          A unique object assigns a unique id to each instance of its subclasses.
 

Classes in SableJBDD.bdd.internal used by SableJBDD.bdd.internal
AbstractBddCache
          An abstract cache uses three integers as the key.
AbstractUniqueTable
          A unique table is a canonical mapping from a triple key (var, low, high) to a BDD internal node.
BddCache
          An abstract cache uses three integers as the key.
BddNodeFactory
          BddNodeFactory defines the interface for making bdd nodes.
BddNodePool
          A BDD node pool pre-allocates and recycles bdd nodes.
ReclaimableNodePool
          A reclaimable node pool creates a phantom reference for each newly created node.
UniqueObject
          A unique object assigns a unique id to each instance of its subclasses.
UniqueTable
          A unique table is a canonical mapping from a triple key (var, low, high) to a BDD internal node.