SableJBDD.bdd.internal
Class ExpandibleNodePool

java.lang.Object
  extended bySableJBDD.bdd.internal.BddNodePool
      extended bySableJBDD.bdd.internal.ReclaimableNodePool
          extended bySableJBDD.bdd.internal.ExpandibleNodePool
All Implemented Interfaces:
BddNodeFactory, Profiling

public class ExpandibleNodePool
extends ReclaimableNodePool

An expandible and reclaimable node pool dynamically expands phantom node queue for recycling all newly created nodes(vs pre-allocated nodes). It can recycle all allocated nodes.


Field Summary
 
Fields inherited from interface SableJBDD.bdd.util.Profiling
PROFILING
 
Constructor Summary
ExpandibleNodePool(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

ExpandibleNodePool

public ExpandibleNodePool(int size)