ZbddCache.Operation1, ZbddCache.Operation2| Modifier and Type | Field and Description |
|---|---|
static int |
MIN_CACHE_SIZE |
| Constructor and Description |
|---|
ZbddFastCache() |
ZbddFastCache(int size) |
| Modifier and Type | Method and Description |
|---|---|
void |
clear() |
int |
getResult(@NotNull ZbddCache.Operation1 operation,
int p)
Retrieve result from the cache.
|
int |
getResult(@NotNull ZbddCache.Operation2 operation,
int p1,
int p2)
Retrieve result from the cache.
|
void |
putResult(@NotNull ZbddCache.Operation1 operation,
int p,
int result) |
void |
putResult(@NotNull ZbddCache.Operation2 operation,
int p1,
int p2,
int result) |
String |
toString() |
public static final int MIN_CACHE_SIZE
public ZbddFastCache()
public ZbddFastCache(int size)
public int getResult(@NotNull @NotNull ZbddCache.Operation1 operation, int p)
ZbddCachepublic void putResult(@NotNull @NotNull ZbddCache.Operation1 operation, int p, int result)
public int getResult(@NotNull @NotNull ZbddCache.Operation2 operation, int p1, int p2)
ZbddCachepublic void putResult(@NotNull @NotNull ZbddCache.Operation2 operation, int p1, int p2, int result)
public String toString()
toString in class Object