Class FixedSizeNodePool

  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
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


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