SableJBDD.bdd.internal
Interface BddCache

All Superinterfaces:
Profiling
All Known Implementing Classes:
AbstractBddCache, EmptyBddCache

public interface BddCache
extends Profiling

An abstract cache uses three integers as the key.


Field Summary
 
Fields inherited from interface SableJBDD.bdd.util.Profiling
PROFILING
 
Method Summary
 JBddNode lookup(SableJBDD.bdd.internal.Unique f, SableJBDD.bdd.internal.Unique g, SableJBDD.bdd.internal.Unique h)
          Looks up a bdd node by three unique keys, f, g, and h could be a bdd variable, a bdd node, or operations.
 void put(SableJBDD.bdd.internal.Unique f, SableJBDD.bdd.internal.Unique g, SableJBDD.bdd.internal.Unique h, JBddNode node)
          Puts a bdd node into the cache.
 void reset()
          Resets the cache.
 int size()
          Returns the number of entries.
 
Methods inherited from interface SableJBDD.bdd.util.Profiling
reportStatistics
 

Method Detail

lookup

public JBddNode lookup(SableJBDD.bdd.internal.Unique f,
                       SableJBDD.bdd.internal.Unique g,
                       SableJBDD.bdd.internal.Unique h)
Looks up a bdd node by three unique keys, f, g, and h could be a bdd variable, a bdd node, or operations. Returns null if no such node exists.


put

public void put(SableJBDD.bdd.internal.Unique f,
                SableJBDD.bdd.internal.Unique g,
                SableJBDD.bdd.internal.Unique h,
                JBddNode node)
Puts a bdd node into the cache.


reset

public void reset()
Resets the cache.


size

public int size()
Returns the number of entries.