Uses of Class

Packages that use BddNodePool

Uses of BddNodePool in SableJBDD.bdd.internal

Subclasses of BddNodePool 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).
 class NonReclaimableNodePool
          A non-reclaimable node pool does nothing with newly created nodes, and doesn't recycle nodes too.
 class ReclaimableNodePool
          A reclaimable node pool creates a phantom reference for each newly created node.