SableJBDD.bdd.internal
Class RegularBddCache

java.lang.Object
  extended bySableJBDD.bdd.internal.AbstractBddCache
      extended bySableJBDD.bdd.internal.RegularBddCache
All Implemented Interfaces:
BddCache, Profiling

public class RegularBddCache
extends AbstractBddCache

A regular triple key cache takes three objects as key.


Field Summary
 
Fields inherited from interface SableJBDD.bdd.util.Profiling
PROFILING
 
Constructor Summary
RegularBddCache(TripleIntKeyCache impl)
          Defines a triple key cache using regular references.
 
Methods inherited from class SableJBDD.bdd.internal.AbstractBddCache
lookup, put, reportStatistics, reset, size
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

RegularBddCache

public RegularBddCache(TripleIntKeyCache impl)
Defines a triple key cache using regular references.

Parameters:
impl - the underlying cache implementation