SableJBDD.cache
Interface TripleIntKeyCache

All Superinterfaces:
Profiling
All Known Implementing Classes:
IdealCache, MultiWayCache, OneWayCache

public interface TripleIntKeyCache
extends Profiling

A cache interface using three integers as the key, and an object as the value.


Field Summary
 
Fields inherited from interface SableJBDD.bdd.util.Profiling
PROFILING
 
Method Summary
 int getAssociativity()
           
 void invalidate(int key0, int key1, int key2)
          Clears a cache entry matching.
 java.lang.Object lookup(int key0, int key1, int key2)
          Looks up the cache.
 int numberOfEntries()
           
 void put(int key0, int key1, int key2, java.lang.Object value)
          Puts a key and value entry into the cache.
 void reset()
          Resets cache entries.
 
Methods inherited from interface SableJBDD.bdd.util.Profiling
reportStatistics
 

Method Detail

lookup

public java.lang.Object lookup(int key0,
                               int key1,
                               int key2)
Looks up the cache.

Parameters:
key0 - the 1st key
key1 - the 2nd key
key2 - the 3rd key
Returns:
the object if the key matches an entry, otherwise returns null.

put

public void put(int key0,
                int key1,
                int key2,
                java.lang.Object value)
Puts a key and value entry into the cache.

Parameters:
key0 - the 1st key
key1 - the 2nd key
key2 - the 3rd key
value - the value object

reset

public void reset()
Resets cache entries.


invalidate

public void invalidate(int key0,
                       int key1,
                       int key2)
Clears a cache entry matching.

Parameters:
key0 - the 1st key
key1 - the 2nd key
key2 - the 3rd key

numberOfEntries

public int numberOfEntries()
Returns:
the number of cache entries

getAssociativity

public int getAssociativity()
Returns:
the cache associativity