SableJBDD.bdd.internal
Class DummyNodePool

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

public class DummyNodePool
extends java.lang.Object
implements BddNodeFactory

A dummy node pool doesn't nothing.


Field Summary
 
Fields inherited from interface SableJBDD.bdd.util.Profiling
PROFILING
 
Constructor Summary
DummyNodePool()
           
 
Method Summary
 JBddNode getFreshNode(JBddVariable var, JBddNode low, JBddNode high)
           
 void reportStatistics(java.io.PrintStream out)
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

DummyNodePool

public DummyNodePool()
Method Detail

getFreshNode

public JBddNode getFreshNode(JBddVariable var,
                             JBddNode low,
                             JBddNode high)
Specified by:
getFreshNode in interface BddNodeFactory

reportStatistics

public void reportStatistics(java.io.PrintStream out)
Specified by:
reportStatistics in interface Profiling