de.sayayi.lib.zbdd.cache

Interface ZbddCache

All Known Implementing Classes:

ZbddFastCache

public interface ZbddCache

Since:

0.1.3

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static class	ZbddCache.Operation1
static class	ZbddCache.Operation2

Method Summary

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)

Method Detail

getResult

int getResult(@NotNull
              @NotNull ZbddCache.Operation1 operation,
              int p)

Retrieve result from the cache.

Parameters:

operation - zbdd operation

p - operation parameter

Returns:

Integer.MIN_VALUE if the result is not cached. Oherwise the cached result is returned

getResult

int getResult(@NotNull
              @NotNull ZbddCache.Operation2 operation,
              int p1,
              int p2)

Retrieve result from the cache.

Parameters:

operation - zbdd operation

p1 - 1st operation parameter

p2 - 2nd operation parameter

Returns:

Integer.MIN_VALUE if the result is not cached. Oherwise the cached result is returned

putResult

@Contract(mutates="this")
void putResult(@NotNull
                                         @NotNull ZbddCache.Operation1 operation,
                                         int p,
                                         int result)

putResult

@Contract(mutates="this")
void putResult(@NotNull
                                         @NotNull ZbddCache.Operation2 operation,
                                         int p1,
                                         int p2,
                                         int result)

clear

@Contract(mutates="this")
void clear()