SableJBDD.bdd.internal
Class FixedSizeNodePool

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

public class FixedSizeNodePool
extends ReclaimableNodePool

A fixed size reclaimable node pool doesn't build phatom references for newly created nodes (vs pre-allocated nodes). It recycles only pre-allocated nodes.


Field Summary
 
Fields inherited from interface SableJBDD.bdd.util.Profiling
PROFILING
 
Constructor Summary
FixedSizeNodePool(int size)
          Defines a pool with an initial number of pre-allocated nodes.
 
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

FixedSizeNodePool

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