SableJBDD.bdd.internal
Class EmptyBddCache

java.lang.Object
  extended bySableJBDD.cache.CacheProfiler
      extended bySableJBDD.bdd.internal.EmptyBddCache
All Implemented Interfaces:
BddCache, Profiling

public class EmptyBddCache
extends CacheProfiler
implements BddCache

An abstract cache uses three integers as the key.


Field Summary
 
Fields inherited from interface SableJBDD.bdd.util.Profiling
PROFILING
 
Constructor Summary
EmptyBddCache()
           
 
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 f, g, and h.
 void put(SableJBDD.bdd.internal.Unique f, SableJBDD.bdd.internal.Unique g, SableJBDD.bdd.internal.Unique h, JBddNode result)
          Puts the ite(f,g,h) in the cache.
 void reset()
          Resets the cache.
 int size()
          Returns the number of entries.
 
Methods inherited from class SableJBDD.cache.CacheProfiler
accesses, hitRate, hits, misses, missRate, reportStatistics, steps
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 
Methods inherited from interface SableJBDD.bdd.util.Profiling
reportStatistics
 

Constructor Detail

EmptyBddCache

public EmptyBddCache()
Method Detail

lookup

public final JBddNode lookup(SableJBDD.bdd.internal.Unique f,
                             SableJBDD.bdd.internal.Unique g,
                             SableJBDD.bdd.internal.Unique h)
Looks up a bdd node by f, g, and h. Returns null if no such node exists.

Specified by:
lookup in interface BddCache

put

public final void put(SableJBDD.bdd.internal.Unique f,
                      SableJBDD.bdd.internal.Unique g,
                      SableJBDD.bdd.internal.Unique h,
                      JBddNode result)
Puts the ite(f,g,h) in the cache.

Specified by:
put in interface BddCache

reset

public void reset()
Description copied from interface: BddCache
Resets the cache.

Specified by:
reset in interface BddCache

size

public int size()
Description copied from interface: BddCache
Returns the number of entries.

Specified by:
size in interface BddCache