Uses of Class
SableJBDD.bdd.internal.ReclaimableNodePool

Packages that use ReclaimableNodePool
SableJBDD.bdd.internal   
 

Uses of ReclaimableNodePool in SableJBDD.bdd.internal
 

Subclasses of ReclaimableNodePool in SableJBDD.bdd.internal
 class DynamicNodePool
          A dynamic, reclaimable node pool create a phantom reference for a newly created node, enqueue the reference, and release the first phantom reference.
 class ExpandibleNodePool
          An expandible and reclaimable node pool dynamically expands phantom node queue for recycling all newly created nodes(vs pre-allocated nodes).
 class FixedSizeNodePool
          A fixed size reclaimable node pool doesn't build phatom references for newly created nodes (vs pre-allocated nodes).