Uses of Class

Packages that use ReclaimableNodePool

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).