SableJBDD.bdd.internal
Class NonReclaimableNodePool

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

public class NonReclaimableNodePool
extends BddNodePool

A non-reclaimable node pool does nothing with newly created nodes, and doesn't recycle nodes too.


Field Summary
 
Fields inherited from interface SableJBDD.bdd.util.Profiling
PROFILING
 
Constructor Summary
NonReclaimableNodePool(int size)
          Defines a pool with an initial number of pre-allocated nodes.
 
Methods inherited from class SableJBDD.bdd.internal.BddNodePool
getFreshNode, reportStatistics
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

NonReclaimableNodePool

public NonReclaimableNodePool(int size)
Defines a pool with an initial number of pre-allocated nodes.