de.sayayi.lib.zbdd.cache

Class ZbddFastCache

Object

de.sayayi.lib.zbdd.cache.ZbddFastCache

All Implemented Interfaces:

ZbddCache

public final class ZbddFastCache
extends Object
implements ZbddCache

Fast cache implementation.

Since:

0.1.3

Nested Class Summary

Nested classes/interfaces inherited from interface de.sayayi.lib.zbdd.cache.ZbddCache

ZbddCache.Operation1, ZbddCache.Operation2

Field Summary

Fields

Modifier and Type	Field and Description
static int	MIN_CACHE_SIZE

Constructor Summary

Constructors

Constructor and Description
ZbddFastCache()
ZbddFastCache(int size)

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)
String	toString()

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

MIN_CACHE_SIZE

public static final int MIN_CACHE_SIZE

See Also:

Constant Field Values

Constructor Detail

ZbddFastCache

public ZbddFastCache()

ZbddFastCache

public ZbddFastCache(int size)

Method Detail

clear

public void clear()

Specified by:

clear in interface ZbddCache

getResult

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

Description copied from interface: ZbddCache

Retrieve result from the cache.

Specified by:

getResult in interface ZbddCache

Parameters:

operation - zbdd operation

p - operation parameter

Returns:

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

putResult

public void putResult(@NotNull
                      @NotNull ZbddCache.Operation1 operation,
                      int p,
                      int result)

Specified by:

putResult in interface ZbddCache

getResult

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

Description copied from interface: ZbddCache

Retrieve result from the cache.

Specified by:

getResult in interface ZbddCache

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

public void putResult(@NotNull
                      @NotNull ZbddCache.Operation2 operation,
                      int p1,
                      int p2,
                      int result)

Specified by:

putResult in interface ZbddCache

toString

public String toString()

Overrides:

toString in class Object