SableJBDD.bdd.internal
Class DynamicNodePool

java.lang.Object
  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
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

DynamicNodePool

public DynamicNodePool(int size)