Constant Field Values

Contents

• jdd.*

jdd.*

jdd.Version

Modifier and Type	Constant Field	Value
public static final int	build	108
public static final String	date	"2017-03"

jdd.bdd.*

jdd.bdd.BDD

Modifier and Type	Constant Field	Value
protected static final int	CACHE_AND	0
protected static final int	CACHE_BIIMP	3
protected static final int	CACHE_EXISTS	0
protected static final int	CACHE_FORALL	1
protected static final int	CACHE_IMP	4
protected static final int	CACHE_NAND	5
protected static final int	CACHE_NOR	6
protected static final int	CACHE_OR	1
protected static final int	CACHE_RESTRICT	7
protected static final int	CACHE_XOR	2

jdd.bdd.NodeTable

Modifier and Type	Constant Field	Value
public static final int	NODE_MARK	-2147483648
public static final int	NODE_UNMARK	2147483647

jdd.util.*

jdd.util.Configuration

Modifier and Type	Constant Field	Value
public static final int	bddRelprodcacheDiv	2
public static final int	bddReplacecacheDiv	3
public static final int	bddSatcountDiv	8
public static final int	DEFAULT_BDD_CACHE_SIZE	1000
public static final int	DEFAULT_BDD_ITECACHE_DIV	4
public static final int	DEFAULT_BDD_NEGCACHE_DIV	2
public static final int	DEFAULT_BDD_OPCACHE_DIV	1
public static final int	DEFAULT_BDD_QUANTCACHE_DIV	3
public static final int	DEFAULT_BDD_RELPRODCACHE_DIV	2
public static final int	DEFAULT_BDD_REPLACECACHE_DIV	3
public static final int	DEFAULT_BDD_SATCOUNT_DIV	8
public static final byte	DEFAULT_CACHEENTRY_STICKY_HITS	16
public static final int	DEFAULT_MAX_CACHE_GROWS	3
public static final int	DEFAULT_MAX_NODE_FREE	100000
public static final int	DEFAULT_MAX_NODE_INCREASE	100000
public static final int	DEFAULT_MAX_SIMPLECACHE_GROWS	5
public static final int	DEFAULT_MIN_CACHE_LOADFACTOR_TO_GROW	95
public static final int	DEFAULT_MIN_FREE_NODES_PROCENT	20
public static final int	DEFAULT_MIN_SIMPLECACHE_ACCESS_TO_GROW	15
public static final int	DEFAULT_MIN_SIMPLECACHE_HITRATE_TO_GROW	40
public static final int	DEFAULT_NODETABLE_GROW_MAX	300000
public static final int	DEFAULT_NODETABLE_GROW_MIN	50000
public static final int	DEFAULT_NODETABLE_LARGE_SIZE	4000000
public static final int	DEFAULT_NODETABLE_SMALL_SIZE	200000
public static final int	DEFAULT_ZDD_CACHE_SIZE	1000
public static final int	MAX_KEEP_UNUSED_PARTIAL_CACHE	5
public static final int	maxCacheGrows	3
public static final int	MIN_CACHE_SIZE	32
public static final int	MIN_NODETABLE_SIZE	100
public static final int	minCacheLoadfactorToGrow	95
public static final int	ZDD_BINARY_CACHE_DIV	2
public static final int	ZDD_CSP_CACHE_DIV	2
public static final int	ZDD_GRAPH_CACHE_DIV	2
public static final int	ZDD_UNARY_CACHE_DIV	2
public static final int	ZDD_UNATE_CACHE_DIV	2

jdd.util.Dot

Modifier and Type	Constant Field	Value
public static final int	TYPE_DOT	2
public static final int	TYPE_EPS	0
public static final int	TYPE_FIG	3
public static final int	TYPE_GIF	4
public static final int	TYPE_JPG	5
public static final int	TYPE_PNG	1

jdd.zdd.*

jdd.zdd.ZDDCSP

Modifier and Type	Constant Field	Value
protected static final int	CACHE_NOSUPSET	1
protected static final int	CACHE_RESTRICT	0

jdd.zdd.ZDDGraph

Modifier and Type	Constant Field	Value
protected static final int	CACHE_NOSUBSET	0
protected static final int	CACHE_NOSUPSET	1