SableJBDD.bdd.internal
Interface UniqueTable

All Superinterfaces:
Profiling
All Known Implementing Classes:
AbstractUniqueTable, PhantomUniqueTable

public interface UniqueTable
extends Profiling

A unique table is a canonical mapping from a triple key (var, low, high) to a BDD internal node.


Field Summary
 
Fields inherited from interface SableJBDD.bdd.util.Profiling
PROFILING
 
Method Summary
 JBddNode findOrCreate(JBddVariable var, JBddNode low, JBddNode high)
          Finds or creates a BddNode by a triple key.
 
Methods inherited from interface SableJBDD.bdd.util.Profiling
reportStatistics
 

Method Detail

findOrCreate

public JBddNode findOrCreate(JBddVariable var,
                             JBddNode low,
                             JBddNode high)
Finds or creates a BddNode by a triple key.

Parameters:
var - the BDD variable
low - the false branch
high - the true branch
Returns:
the canonical bdd node