Package SableJBDD.bdd.internal

Interface Summary
BddCache An abstract cache uses three integers as the key.
BddNodeFactory BddNodeFactory defines the interface for making bdd nodes.
UniqueTable A unique table is a canonical mapping from a triple key (var, low, high) to a BDD internal node.
 

Class Summary
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.
BddNodePool A BDD node pool pre-allocates and recycles bdd nodes.
DummyNodePool A dummy node pool doesn't nothing.
DynamicNodePool A dynamic, reclaimable node pool create a phantom reference for a newly created node, enqueue the reference, and release the first phantom reference.
EmptyBddCache An abstract cache uses three integers as the key.
ExpandibleNodePool An expandible and reclaimable node pool dynamically expands phantom node queue for recycling all newly created nodes(vs pre-allocated nodes).
FixedSizeNodePool A fixed size reclaimable node pool doesn't build phatom references for newly created nodes (vs pre-allocated nodes).
NonReclaimableNodePool A non-reclaimable node pool does nothing with newly created nodes, and doesn't recycle nodes too.
PhantomUniqueTable A phantom unique table implements UniqueTable interface, and can recycle nodes not reachable from other programs other than this unique table.
Prime A class finds the smallest prime number above a given number This is a standard example from Sun's developer's forum.
ReclaimableNodePool A reclaimable node pool creates a phantom reference for each newly created node.
RegularBddCache A regular triple key cache takes three objects as key.
RegularUniqueTable A regular unique table is a hash table using regular references.
SoftBddCache A soft triple key cache uses soft references for cached objects.
SoftUniqueTable A soft unique table is a unique table using soft references to objects.
UniqueInteger A unique integer object holds an int value, two instances may hold the same value, but have different (unique) ids.
UniqueObject A unique object assigns a unique id to each instance of its subclasses.
WeakUniqueTable A weak unique table is a unique table using weak references to objects.