SableJBDD.bdd.internal
Interfaces 
BddCache
BddNodeFactory
UniqueTable
Classes 
AbstractBddCache
AbstractUniqueTable
BddNodePool
DummyNodePool
DynamicNodePool
EmptyBddCache
ExpandibleNodePool
FixedSizeNodePool
NonReclaimableNodePool
PhantomUniqueTable
Prime
ReclaimableNodePool
RegularBddCache
RegularUniqueTable
SoftBddCache
SoftUniqueTable
UniqueInteger
UniqueObject
WeakUniqueTable