Configuration

java.lang.Object
- jdd.util.Configuration

```
public class Configuration
extends Object
```
This class contains the various configuration parameters used in the package

Field Summary

Fields
Modifier and Type	Field and Description
`static int`	`bddItecacheDiv` how little of the BDD cache is used for ITE?, range: 1-8
`static int`	`bddNegcacheDiv` how little of the BDD cache is used for negation?, range: 1-8
`static int`	`bddOpcacheDiv` how little of the BDD cache is used for operations ?, range: 1-8
`static int`	`bddQuantcacheDiv` how little of the BDD cache is used for quantification?, range: 1-8
`static int`	`bddRelprodcacheDiv` cache for relProd
`static int`	`bddReplacecacheDiv` how little the replace cache is, range: 2-8
`static int`	`bddSatcountDiv` how little the satcount cache is, range: 4-32
`static byte`	`cacheentryStickyHits` above this number of hits, a cached value cannot be overwritten, range: 8-32
`static int`	`DEFAULT_BDD_CACHE_SIZE` default size of the BDD cache range: 100-10k
`static int`	`DEFAULT_BDD_ITECACHE_DIV` see #bddNegcacheDiv
`static int`	`DEFAULT_BDD_NEGCACHE_DIV` see #bddOpcacheDiv
`static int`	`DEFAULT_BDD_OPCACHE_DIV`
`static int`	`DEFAULT_BDD_QUANTCACHE_DIV` see #bddItecacheDiv
`static int`	`DEFAULT_BDD_RELPRODCACHE_DIV` see #bddOpcacheDiv
`static int`	`DEFAULT_BDD_REPLACECACHE_DIV` see #bddRelprodcacheDiv
`static int`	`DEFAULT_BDD_SATCOUNT_DIV` see #bddReplacecheDiv
`static byte`	`DEFAULT_CACHEENTRY_STICKY_HITS` see #minSimplecacheAccessToGrow
`static int`	`DEFAULT_MAX_CACHE_GROWS` see #cacheentryStickyHits
`static int`	`DEFAULT_MAX_NODE_FREE` see #minFreeNodesProcent
`static int`	`DEFAULT_MAX_NODE_INCREASE` see #bddSatcountDiv
`static int`	`DEFAULT_MAX_SIMPLECACHE_GROWS` see #maxNodeFree
`static int`	`DEFAULT_MIN_CACHE_LOADFACTOR_TO_GROW` see #maxCacheGrows
`static int`	`DEFAULT_MIN_FREE_NODES_PROCENT` see #maxNodeIncrease
`static int`	`DEFAULT_MIN_SIMPLECACHE_ACCESS_TO_GROW` see #minSimplecacheHitrateToGrow
`static int`	`DEFAULT_MIN_SIMPLECACHE_HITRATE_TO_GROW` see #maxSimplecacheGrows
`static int`	`DEFAULT_NODETABLE_GROW_MAX`
`static int`	`DEFAULT_NODETABLE_GROW_MIN`
`static int`	`DEFAULT_NODETABLE_LARGE_SIZE`
`static int`	`DEFAULT_NODETABLE_SIMPLE_DEADCOUNT_THRESHOLD`
`static int`	`DEFAULT_NODETABLE_SMALL_SIZE` see #nodetableSimpleDeadcountThreshold
`static int`	`DEFAULT_ZDD_CACHE_SIZE` default size of the ZDD cache range:
`static int`	`MAX_KEEP_UNUSED_PARTIAL_CACHE` number of garbage collection we will wait before giving up an unused partial cache.
`static int`	`maxCacheGrows` max number of grows for the Cache, range: 0-10
`static int`	`maxNodeFree` maximum number of nodes we that must be free, range: same as MAX_NODE_INCREASE??
`static int`	`maxNodeIncrease` we wont grow the table with more than this amount, range: 10k-200k
`static int`	`maxSimplecacheGrows` max number of cache grows allowed, rang: 0-15
`static int`	`MIN_CACHE_SIZE` the smallest we will allow
`static int`	`MIN_NODETABLE_SIZE` the smallest node-table we will allow
`static int`	`minCacheLoadfactorToGrow` loadfactor required for Cache to grow, rang: 50-99
`static int`	`minFreeNodesProcent` if less than this precent nodes are free, we will garbage collect, or grow the nodetable, range: 5-40.
`static int`	`minSimplecacheAccessToGrow` min access load before we consider the hitrate above valid, range: 1-99
`static int`	`minSimplecacheHitrateToGrow` min hitrate needed to grow cache (in %), range: 10-99
`static int`	`nodetableGrowMax` the largest node-table grow we allow
`static int`	`nodetableGrowMin` the smallest node-table grow we recommend
`static int`	`nodetableLargeSize` if node-table is larger than this, we grow table with nodetableGrowMin nodes at a time
`static int`	`nodetableSimpleDeadcountThreshold` the threshold below which a simpler deadnode counter is used
`static int`	`nodetableSmallSize` if node-table is smaller than this, we grow table with nodetableGrowMax nodes at a time
`static int`	`ZDD_BINARY_CACHE_DIV` see #zddUnaryCacheDiv
`static int`	`ZDD_CSP_CACHE_DIV` see #zddUnateCacheDiv
`static int`	`ZDD_GRAPH_CACHE_DIV` see #zddCSPCacheDiv
`static int`	`ZDD_UNARY_CACHE_DIV`
`static int`	`ZDD_UNATE_CACHE_DIV` see #zddBinaryCacheDiv
`static int`	`zddBinaryCacheDiv` how small the binary (set operations) cache is, range: 2-8
`static int`	`zddCSPCacheDiv` how small the CSP (restrict/exclude) cache is, range: 2-8
`static int`	`zddGraphCacheDiv` how small the Graph cache is, range: 2-8
`static int`	`zddUnaryCacheDiv` how small the unary (subset/change) cache is, range: 2-8
`static int`	`zddUnateCacheDiv` how small the unate (mul/div) cache is, range: 2-8

Constructor Summary

Constructors
Constructor and Description

Configuration()

Constructors
Constructor and Description
`Configuration()`

Method Summary
- Methods inherited from class java.lang.Object
  clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Field Detail
  - MAX_KEEP_UNUSED_PARTIAL_CACHE
```
public static final int MAX_KEEP_UNUSED_PARTIAL_CACHE
```
    number of garbage collection we will wait before giving up an unused partial cache.
    
    See Also:
    
    OptimizedCache, Constant Field Values
  - MIN_NODETABLE_SIZE
```
public static final int MIN_NODETABLE_SIZE
```
    the smallest node-table we will allow
    
    See Also:
    
    NodeTable, Constant Field Values
  - MIN_CACHE_SIZE
```
public static final int MIN_CACHE_SIZE
```
    the smallest we will allow
    
    See Also:
    
    SimpleCache, Constant Field Values
  - DEFAULT_NODETABLE_SIMPLE_DEADCOUNT_THRESHOLD
```
public static int DEFAULT_NODETABLE_SIMPLE_DEADCOUNT_THRESHOLD
```
  - DEFAULT_NODETABLE_SMALL_SIZE
```
public static final int DEFAULT_NODETABLE_SMALL_SIZE
```
    see #nodetableSimpleDeadcountThreshold
    
    See Also:
    
    Constant Field Values
  - DEFAULT_NODETABLE_LARGE_SIZE
```
public static final int DEFAULT_NODETABLE_LARGE_SIZE
```
    See Also:
    
    nodetableSmallSize, Constant Field Values
  - DEFAULT_NODETABLE_GROW_MIN
```
public static final int DEFAULT_NODETABLE_GROW_MIN
```
    See Also:
    
    nodetableLargeSize, Constant Field Values
  - DEFAULT_NODETABLE_GROW_MAX
```
public static final int DEFAULT_NODETABLE_GROW_MAX
```
    See Also:
    
    nodetableGrowMin, Constant Field Values
  - DEFAULT_BDD_OPCACHE_DIV
```
public static final int DEFAULT_BDD_OPCACHE_DIV
```
    See Also:
    
    nodetableGrowMax, Constant Field Values
  - DEFAULT_BDD_NEGCACHE_DIV
```
public static final int DEFAULT_BDD_NEGCACHE_DIV
```
    see #bddOpcacheDiv
    
    See Also:
    
    Constant Field Values
  - DEFAULT_BDD_ITECACHE_DIV
```
public static final int DEFAULT_BDD_ITECACHE_DIV
```
    see #bddNegcacheDiv
    
    See Also:
    
    Constant Field Values
  - DEFAULT_BDD_QUANTCACHE_DIV
```
public static final int DEFAULT_BDD_QUANTCACHE_DIV
```
    see #bddItecacheDiv
    
    See Also:
    
    Constant Field Values
  - DEFAULT_BDD_RELPRODCACHE_DIV
```
public static final int DEFAULT_BDD_RELPRODCACHE_DIV
```
    see #bddOpcacheDiv
    
    See Also:
    
    Constant Field Values
  - DEFAULT_BDD_REPLACECACHE_DIV
```
public static final int DEFAULT_BDD_REPLACECACHE_DIV
```
    see #bddRelprodcacheDiv
    
    See Also:
    
    Constant Field Values
  - DEFAULT_BDD_SATCOUNT_DIV
```
public static final int DEFAULT_BDD_SATCOUNT_DIV
```
    see #bddReplacecheDiv
    
    See Also:
    
    Constant Field Values
  - DEFAULT_MAX_NODE_INCREASE
```
public static final int DEFAULT_MAX_NODE_INCREASE
```
    see #bddSatcountDiv
    
    See Also:
    
    Constant Field Values
  - DEFAULT_MIN_FREE_NODES_PROCENT
```
public static final int DEFAULT_MIN_FREE_NODES_PROCENT
```
    see #maxNodeIncrease
    
    See Also:
    
    Constant Field Values
  - DEFAULT_MAX_NODE_FREE
```
public static final int DEFAULT_MAX_NODE_FREE
```
    see #minFreeNodesProcent
    
    See Also:
    
    Constant Field Values
  - DEFAULT_MAX_SIMPLECACHE_GROWS
```
public static final int DEFAULT_MAX_SIMPLECACHE_GROWS
```
    see #maxNodeFree
    
    See Also:
    
    Constant Field Values
  - DEFAULT_MIN_SIMPLECACHE_HITRATE_TO_GROW
```
public static final int DEFAULT_MIN_SIMPLECACHE_HITRATE_TO_GROW
```
    see #maxSimplecacheGrows
    
    See Also:
    
    Constant Field Values
  - DEFAULT_MIN_SIMPLECACHE_ACCESS_TO_GROW
```
public static final int DEFAULT_MIN_SIMPLECACHE_ACCESS_TO_GROW
```
    see #minSimplecacheHitrateToGrow
    
    See Also:
    
    Constant Field Values
  - DEFAULT_CACHEENTRY_STICKY_HITS
```
public static final byte DEFAULT_CACHEENTRY_STICKY_HITS
```
    see #minSimplecacheAccessToGrow
    
    See Also:
    
    Constant Field Values
  - DEFAULT_MAX_CACHE_GROWS
```
public static final int DEFAULT_MAX_CACHE_GROWS
```
    see #cacheentryStickyHits
    
    See Also:
    
    Constant Field Values
  - DEFAULT_MIN_CACHE_LOADFACTOR_TO_GROW
```
public static final int DEFAULT_MIN_CACHE_LOADFACTOR_TO_GROW
```
    see #maxCacheGrows
    
    See Also:
    
    Constant Field Values
  - nodetableSimpleDeadcountThreshold
```
public static int nodetableSimpleDeadcountThreshold
```
    the threshold below which a simpler deadnode counter is used
  - nodetableSmallSize
```
public static int nodetableSmallSize
```
    if node-table is smaller than this, we grow table with nodetableGrowMax nodes at a time
  - nodetableLargeSize
```
public static int nodetableLargeSize
```
    if node-table is larger than this, we grow table with nodetableGrowMin nodes at a time
  - nodetableGrowMin
```
public static int nodetableGrowMin
```
    the smallest node-table grow we recommend
  - nodetableGrowMax
```
public static int nodetableGrowMax
```
    the largest node-table grow we allow
  - DEFAULT_BDD_CACHE_SIZE
```
public static final int DEFAULT_BDD_CACHE_SIZE
```
    default size of the BDD cache range: 100-10k
    
    See Also:
    
    Constant Field Values
  - bddOpcacheDiv
```
public static int bddOpcacheDiv
```
    how little of the BDD cache is used for operations ?, range: 1-8
  - bddNegcacheDiv
```
public static int bddNegcacheDiv
```
    how little of the BDD cache is used for negation?, range: 1-8
  - bddItecacheDiv
```
public static int bddItecacheDiv
```
    how little of the BDD cache is used for ITE?, range: 1-8
  - bddQuantcacheDiv
```
public static int bddQuantcacheDiv
```
    how little of the BDD cache is used for quantification?, range: 1-8
  - bddRelprodcacheDiv
```
public static final int bddRelprodcacheDiv
```
    cache for relProd
    
    See Also:
    
    Constant Field Values
  - bddReplacecacheDiv
```
public static final int bddReplacecacheDiv
```
    how little the replace cache is, range: 2-8
    
    See Also:
    
    Constant Field Values
  - bddSatcountDiv
```
public static final int bddSatcountDiv
```
    how little the satcount cache is, range: 4-32
    
    See Also:
    
    Constant Field Values
  - DEFAULT_ZDD_CACHE_SIZE
```
public static final int DEFAULT_ZDD_CACHE_SIZE
```
    default size of the ZDD cache range:
    
    See Also:
    
    DEFAULT_BDD_CACHE_SIZE, Constant Field Values
  - ZDD_UNARY_CACHE_DIV
```
public static final int ZDD_UNARY_CACHE_DIV
```
    See Also:
    
    Constant Field Values
  - ZDD_BINARY_CACHE_DIV
```
public static final int ZDD_BINARY_CACHE_DIV
```
    see #zddUnaryCacheDiv
    
    See Also:
    
    Constant Field Values
  - ZDD_UNATE_CACHE_DIV
```
public static final int ZDD_UNATE_CACHE_DIV
```
    see #zddBinaryCacheDiv
    
    See Also:
    
    Constant Field Values
  - ZDD_CSP_CACHE_DIV
```
public static final int ZDD_CSP_CACHE_DIV
```
    see #zddUnateCacheDiv
    
    See Also:
    
    Constant Field Values
  - ZDD_GRAPH_CACHE_DIV
```
public static final int ZDD_GRAPH_CACHE_DIV
```
    see #zddCSPCacheDiv
    
    See Also:
    
    Constant Field Values
  - zddUnaryCacheDiv
```
public static int zddUnaryCacheDiv
```
    how small the unary (subset/change) cache is, range: 2-8
  - zddBinaryCacheDiv
```
public static int zddBinaryCacheDiv
```
    how small the binary (set operations) cache is, range: 2-8
  - zddUnateCacheDiv
```
public static int zddUnateCacheDiv
```
    how small the unate (mul/div) cache is, range: 2-8
  - zddCSPCacheDiv
```
public static int zddCSPCacheDiv
```
    how small the CSP (restrict/exclude) cache is, range: 2-8
  - zddGraphCacheDiv
```
public static int zddGraphCacheDiv
```
    how small the Graph cache is, range: 2-8
  - maxNodeIncrease
```
public static int maxNodeIncrease
```
    we wont grow the table with more than this amount, range: 10k-200k
  - minFreeNodesProcent
```
public static int minFreeNodesProcent
```
    if less than this precent nodes are free, we will garbage collect, or grow the nodetable, range: 5-40. [this constant is tested against MAX_NODE_FREE ]
  - maxNodeFree
```
public static int maxNodeFree
```
    maximum number of nodes we that must be free, range: same as MAX_NODE_INCREASE??
  - maxSimplecacheGrows
```
public static int maxSimplecacheGrows
```
    max number of cache grows allowed, rang: 0-15
  - minSimplecacheHitrateToGrow
```
public static int minSimplecacheHitrateToGrow
```
    min hitrate needed to grow cache (in %), range: 10-99
  - minSimplecacheAccessToGrow
```
public static int minSimplecacheAccessToGrow
```
    min access load before we consider the hitrate above valid, range: 1-99
  - maxCacheGrows
```
public static final int maxCacheGrows
```
    max number of grows for the Cache, range: 0-10
    
    See Also:
    
    Constant Field Values
  - minCacheLoadfactorToGrow
```
public static final int minCacheLoadfactorToGrow
```
    loadfactor required for Cache to grow, rang: 50-99
    
    See Also:
    
    Constant Field Values
  - cacheentryStickyHits
```
public static byte cacheentryStickyHits
```
    above this number of hits, a cached value cannot be overwritten, range: 8-32
- Constructor Detail
  - Configuration
```
public Configuration()
```

Class Configuration

Field Summary

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Field Detail

MAX_KEEP_UNUSED_PARTIAL_CACHE

MIN_NODETABLE_SIZE

MIN_CACHE_SIZE

DEFAULT_NODETABLE_SIMPLE_DEADCOUNT_THRESHOLD

DEFAULT_NODETABLE_SMALL_SIZE

DEFAULT_NODETABLE_LARGE_SIZE

DEFAULT_NODETABLE_GROW_MIN

DEFAULT_NODETABLE_GROW_MAX

DEFAULT_BDD_OPCACHE_DIV

DEFAULT_BDD_NEGCACHE_DIV

DEFAULT_BDD_ITECACHE_DIV

DEFAULT_BDD_QUANTCACHE_DIV

DEFAULT_BDD_RELPRODCACHE_DIV

DEFAULT_BDD_REPLACECACHE_DIV

DEFAULT_BDD_SATCOUNT_DIV

DEFAULT_MAX_NODE_INCREASE

DEFAULT_MIN_FREE_NODES_PROCENT

DEFAULT_MAX_NODE_FREE

DEFAULT_MAX_SIMPLECACHE_GROWS

DEFAULT_MIN_SIMPLECACHE_HITRATE_TO_GROW

DEFAULT_MIN_SIMPLECACHE_ACCESS_TO_GROW

DEFAULT_CACHEENTRY_STICKY_HITS

DEFAULT_MAX_CACHE_GROWS

DEFAULT_MIN_CACHE_LOADFACTOR_TO_GROW

nodetableSimpleDeadcountThreshold

nodetableSmallSize

nodetableLargeSize

nodetableGrowMin

nodetableGrowMax

DEFAULT_BDD_CACHE_SIZE

bddOpcacheDiv

bddNegcacheDiv

bddItecacheDiv

bddQuantcacheDiv

bddRelprodcacheDiv

bddReplacecacheDiv

bddSatcountDiv

DEFAULT_ZDD_CACHE_SIZE

ZDD_UNARY_CACHE_DIV

ZDD_BINARY_CACHE_DIV

ZDD_UNATE_CACHE_DIV

ZDD_CSP_CACHE_DIV

ZDD_GRAPH_CACHE_DIV

zddUnaryCacheDiv

zddBinaryCacheDiv

zddUnateCacheDiv

zddCSPCacheDiv

zddGraphCacheDiv

maxNodeIncrease

minFreeNodesProcent

maxNodeFree

maxSimplecacheGrows

minSimplecacheHitrateToGrow

minSimplecacheAccessToGrow

maxCacheGrows

minCacheLoadfactorToGrow

cacheentryStickyHits

Constructor Detail

Configuration