Class NonReclaimableNodePool

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


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