Constant Field Values


Contents
SableJBDD.bdd.*

SableJBDD.bdd.JBddConstants
public static final int BDDOP_INVALID -1
public static final int DEFAULT_DYNA_POOL_SIZE 1000000
public static final int DEFAULT_EXPANDIBLE_SIZE 500000
public static final int DEFAULT_FIXED_POOL_SIZE 1000000
public static final int DEFAULT_PHANTOM_POOL_SIZE 500000
public static final int DEFAULT_PRE_ALLOC_SIZE 6000000
public static final int DYNAMIC 4
public static final int EXPANDIBLE 3
public static final int FIXED_SIZE 2
public static final int FOURWAY 4
public static final int IDEAL 0
public static final int MAX_LEVEL 2147483647
public static final int NO_CACHE 0
public static final int NO_POOLING 0
public static final int ONEWAY 1
public static final int PHANTOM_REF 4
public static final int PRE_ALLOCATION 1
public static final int REGULAR_REF 1
public static final int SOFT_REF 2
public static final int TWOWAY 2
public static final int WEAK_REF 3

SableJBDD.bdd.util.Profiling
public static final boolean PROFILING true