SableJBDD.bdd.internal
Interface BddNodeFactory

All Superinterfaces:
Profiling
All Known Implementing Classes:
BddNodePool, DummyNodePool

public interface BddNodeFactory
extends Profiling

BddNodeFactory defines the interface for making bdd nodes.


Field Summary
 
Fields inherited from interface SableJBDD.bdd.util.Profiling
PROFILING
 
Method Summary
 JBddNode getFreshNode(JBddVariable var, JBddNode low, JBddNode high)
           
 
Methods inherited from interface SableJBDD.bdd.util.Profiling
reportStatistics
 

Method Detail

getFreshNode

public JBddNode getFreshNode(JBddVariable var,
                             JBddNode low,
                             JBddNode high)