public interface ZbddCache
| Modifier and Type | Interface and Description |
|---|---|
static class |
ZbddCache.Operation1 |
static class |
ZbddCache.Operation2 |
| 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) |
int getResult(@NotNull @NotNull ZbddCache.Operation1 operation, int p)
operation - zbdd operationp - operation parameterInteger.MIN_VALUE if the result is not cached. Oherwise the cached result is returnedint getResult(@NotNull @NotNull ZbddCache.Operation2 operation, int p1, int p2)
operation - zbdd operationp1 - 1st operation parameterp2 - 2nd operation parameterInteger.MIN_VALUE if the result is not cached. Oherwise the cached result is returned@Contract(mutates="this") void putResult(@NotNull @NotNull ZbddCache.Operation1 operation, int p, int result)
@Contract(mutates="this") void putResult(@NotNull @NotNull ZbddCache.Operation2 operation, int p1, int p2, int result)