DoubleCache

java.lang.Object
- jdd.bdd.CacheBase
- - jdd.bdd.DoubleCache

public final class DoubleCache
extends CacheBase

Cache for int->double. based on simple cache

Field Summary

Fields
Modifier and Type Field and Description

double answer

int hash_value

Fields
Modifier and Type	Field and Description
`double`	`answer`
`int`	`hash_value`

Constructor Summary

Constructors
Constructor and Description

DoubleCache(String name, int size)
the arguments are: (size of elements, number of members.

Constructors
Constructor and Description
`DoubleCache(String name, int size)` the arguments are: (size of elements, number of members.

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`double`	`computeHitRate()` the hit rate, 0-100%
`double`	`computeLoadFactor()` the load factor, 0-100%
`void`	`free_or_grow()` try to grow the cache.
`void`	`free_or_grow(NodeTable nt)` either _partially_ wipe the cache or try to grow it.
`long`	`getAccessCount()` number of times the cache was accessed
`int`	`getCacheSize()` size of the cache
`long`	`getMemoryUsage()`
`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()` the _real_ size of the cache.
`void`	`insert(int hash, int key1, double value)` this is the _correct_ way to insert something into the cache.
`static void`	`internal_test()` testbench.
`void`	`invalidate_cache()` just wipe the cache
`void`	`invalidate_cache(NodeTable nt)` removes the elements that are garbage collected.
`boolean`	`lookup(int a)` lookup the element associated with (a) returns true if element found (stored in SimpleCache.answer) returns false if element not found.
`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
  - hash_value
```
public int hash_value
```
  - answer
```
public double answer
```
- Constructor Detail
  - DoubleCache
```
public DoubleCache(String name,
                   int size)
```
    the arguments are: (size of elements, number of members. number of members that also are BDD nodes)
- Method Detail
  - getSize
```
public int getSize()
```
    the _real_ size of the cache. it is probably higher than what the user requested
  - getMemoryUsage
```
public long getMemoryUsage()
```
  - invalidate_cache
```
public void invalidate_cache()
```
    just wipe the cache
  - free_or_grow
```
public void free_or_grow()
```
    try to grow the cache. if unable, it will just wipe the cache
  - free_or_grow
```
public void free_or_grow(NodeTable nt)
```
    either _partially_ wipe the cache or try to grow it. XXX: at the moment, if cache is grown all current data is lost
    
    See Also:
    
    free_or_grow()
  - invalidate_cache
```
public void invalidate_cache(NodeTable nt)
```
    removes the elements that are garbage collected. this is where the "bdds" variable in constructor is used.
  - insert
```
public void insert(int hash,
                   int key1,
                   double value)
```
    this is the _correct_ way to insert something into the cache. format: (key1->value)
  - lookup
```
public final boolean lookup(int a)
```
    lookup the element associated with (a) returns true if element found (stored in SimpleCache.answer) returns false if element not found. user should copy the hash value from SimpleCache.hash_value before doing any more cache-operations!
  - 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
  - showStats
```
public void showStats()
```
  - internal_test
```
public static void internal_test()
```
    testbench. do not call

Class DoubleCache

Field Summary

Constructor Summary

Method Summary

Methods inherited from class jdd.bdd.CacheBase

Methods inherited from class java.lang.Object

Field Detail

hash_value

answer

Constructor Detail

DoubleCache

Method Detail

getSize

getMemoryUsage

invalidate_cache

free_or_grow

free_or_grow

invalidate_cache

insert

lookup

computeLoadFactor

computeHitRate

getAccessCount

getCacheSize

getNumberOfClears

getNumberOfPartialClears

getNumberOfGrows

showStats

internal_test