jdd.bdd.debug

Class IdealCache

java.lang.Object

jdd.bdd.CacheBase

jdd.bdd.debug.IdealCache

public final class IdealCache
extends CacheBase

An ideal cache that is have no collisions. Used for debugging only! It is not a part of the API and should not be accessible to users.

See Also:

Cache, SimpleCache, DoubleCache, OptimizedCache

Field Summary

Fields

Modifier and Type	Field and Description
int	answer
int	hash_value

Constructor Summary

Constructors

Constructor and Description
IdealCache(String name, int size, int members, int bdds) the arguments are: (size of elements, number of members.

Method Summary

Modifier and Type	Method and Description
boolean	check_cache(int[] crap)
double	computeHitRate() the hit rate, 0-100%
double	computeLoadFactor() the load factor, 0-100%
void	free_or_grow()
void	free_or_grow(NodeTable nt)
long	getAccessCount() number of times the cache was accessed
int	getCacheSize() size of the cache
int	getNumberOfClears() number of times cache was cleared
int	getNumberOfGrows() number of times cache was growed
int	getNumberOfPartialClears() number of times cache was partially
int	getSize() current size of the cache
void	insert(int hash, int key1, int value)
void	insert(int hash, int key1, int key2, int value)
void	insert(int hash, int key1, int key2, int key3, int value)
void	invalidate_cache() just wipe the cache
void	invalidate_cache(NodeTable nt)
boolean	lookup(int a)
boolean	lookup(int a, int b)
boolean	lookup(int a, int b, int c)
static void	main(String[] args)
void	showStats()

Methods inherited from class jdd.bdd.CacheBase

getName

Methods inherited from class java.lang.Object

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

Field Detail

answer

public int answer

hash_value

public int hash_value

Constructor Detail

IdealCache

public IdealCache(String name,
                  int size,
                  int members,
                  int bdds)

the arguments are: (size of elements, number of members. number of members that also are BDD nodes)

Method Detail

getSize

public int getSize()

current size of the cache

invalidate_cache

public void invalidate_cache()

just wipe the cache

free_or_grow

public void free_or_grow()

free_or_grow

public void free_or_grow(NodeTable nt)

invalidate_cache

public void invalidate_cache(NodeTable nt)

insert

public void insert(int hash,
                   int key1,
                   int value)

insert

public void insert(int hash,
                   int key1,
                   int key2,
                   int value)

lookup

public final boolean lookup(int a)

lookup

public final boolean lookup(int a,
                            int b)

insert

public void insert(int hash,
                   int key1,
                   int key2,
                   int key3,
                   int value)

lookup

public final boolean lookup(int a,
                            int b,
                            int c)

computeLoadFactor

public double computeLoadFactor()

Description copied from class: CacheBase

the load factor, 0-100%

Specified by:

computeLoadFactor in class CacheBase

computeHitRate

public double computeHitRate()

Description copied from class: CacheBase

the hit rate, 0-100%

Specified by:

computeHitRate in class CacheBase

getAccessCount

public long getAccessCount()

Description copied from class: CacheBase

number of times the cache was accessed

Specified by:

getAccessCount in class CacheBase

getCacheSize

public int getCacheSize()

Description copied from class: CacheBase

size of the cache

Specified by:

getCacheSize in class CacheBase

getNumberOfClears

public int getNumberOfClears()

Description copied from class: CacheBase

number of times cache was cleared

Specified by:

getNumberOfClears in class CacheBase

getNumberOfPartialClears

public int getNumberOfPartialClears()

Description copied from class: CacheBase

number of times cache was partially

Specified by:

getNumberOfPartialClears in class CacheBase

getNumberOfGrows

public int getNumberOfGrows()

Description copied from class: CacheBase

number of times cache was growed

Specified by:

getNumberOfGrows in class CacheBase

check_cache

public boolean check_cache(int[] crap)

showStats

public void showStats()

main

public static void main(String[] args)