Class DynamicNodePool

  extended bySableJBDD.bdd.internal.BddNodePool
      extended bySableJBDD.bdd.internal.ReclaimableNodePool
          extended bySableJBDD.bdd.internal.DynamicNodePool
All Implemented Interfaces:
BddNodeFactory, Profiling

public class DynamicNodePool
extends ReclaimableNodePool

A dynamic, reclaimable node pool create a phantom reference for a newly created node, enqueue the reference, and release the first phantom reference. Unlike ExpandibleNodePool which never releases phantome references, which may grow out of control, DynamicNodePool releases the oldest reference for GC. DynamicNodePool recycles more recently created nodes dynamically.

Field Summary
Fields inherited from interface SableJBDD.bdd.util.Profiling
Constructor Summary
DynamicNodePool(int size)
Methods inherited from class SableJBDD.bdd.internal.ReclaimableNodePool
getFreshNode, reportStatistics
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail


public DynamicNodePool(int size)