public final class Cache extends Object
| Constructor and Description |
|---|
Cache(int size,
int members) |
| Modifier and Type | Method and Description |
|---|---|
CacheEntry |
access1(int x) |
CacheEntry |
access2(int op1,
int op2) |
CacheEntry |
access3(int type,
int op1,
int op2) |
void |
check_cache(int[] t_var)
check if a cached answer is a valid node.
|
double |
computeHitRate() |
double |
computeLoadFactor()
cache load factor, slow!
|
void |
free_or_grow() |
void |
free_or_grow(NodeTable nt) |
int |
getSize() |
static void |
internal_test()
testbench.
|
void |
invalidate_cache() |
void |
invalidate_cache(NodeTable nt) |
void |
invalidate_cache(NodeTable nt,
int size) |
void |
showStats(String type) |
public int getSize()
public void invalidate_cache(NodeTable nt)
public void invalidate_cache(NodeTable nt, int size)
public void free_or_grow(NodeTable nt)
public void invalidate_cache()
public void free_or_grow()
public CacheEntry access3(int type, int op1, int op2)
public CacheEntry access2(int op1, int op2)
public CacheEntry access1(int x)
public double computeLoadFactor()
public double computeHitRate()
public void showStats(String type)
public void check_cache(int[] t_var)
public static void internal_test()
This file is a part of the JDD package, a native Java Binary Decision Diagram Library.