Overview  Package  Class  Use  Deprecated   Index
Home >> All >> org >> sf >> [ javabdd overview ]	PREV  NEXT

A B C D E F G H I J K L M N O P Q R S T U V W X Z _

---

A

APPEXHASH(int, int, int) - Static method in class org.sf.javabdd.JavaFactory

 

APPLYHASH(int, int, int) - Static method in class org.sf.javabdd.JavaFactory

 

a - Variable in class org.sf.javabdd.JavaFactory.BddCacheData

 

add(BDDBitVector) - Method in class org.sf.javabdd.BDDBitVector

 

addDependencies(boolean[]) - Method in class org.sf.javabdd.JavaFactory

 

addRef(int) - Static method in class org.sf.javabdd.BuDDyFactory.BuDDyBDD

 

addRef(long) - Static method in class org.sf.javabdd.CUDDFactory.CUDDBDD

 

addVarBlock(BDD, boolean) - Method in class org.sf.javabdd.BDDFactory

Adds a new variable block for reordering.

addVarBlock(int, int, boolean) - Method in class org.sf.javabdd.BDDFactory

Adds a new variable block for reordering.

addVarBlock(BDD, boolean) - Method in class org.sf.javabdd.BuDDyFactory

 

addVarBlock(int, int, boolean) - Method in class org.sf.javabdd.BuDDyFactory

 

addVarBlock(BDD, boolean) - Method in class org.sf.javabdd.CUDDFactory

 

addVarBlock(int, int, boolean) - Method in class org.sf.javabdd.CUDDFactory

 

addVarBlock(BDD, boolean) - Method in class org.sf.javabdd.JavaFactory

 

addVarBlock(int, int, boolean) - Method in class org.sf.javabdd.JavaFactory

 

addVarBlock(BDD, boolean) - Method in class org.sf.javabdd.TestBDDFactory

 

addVarBlock(int, int, boolean) - Method in class org.sf.javabdd.TestBDDFactory

 

addVarBlock(BDD, boolean) - Method in class org.sf.javabdd.TypedBDDFactory

 

addVarBlock(int, int, boolean) - Method in class org.sf.javabdd.TypedBDDFactory

 

addVarBlock0(int, boolean) - Static method in class org.sf.javabdd.BuDDyFactory

 

addVarBlock1(int, int, boolean) - Static method in class org.sf.javabdd.BuDDyFactory

 

addref_rec(int, boolean[]) - Method in class org.sf.javabdd.JavaFactory

 

allDomains() - Method in class org.sf.javabdd.TypedBDDFactory

 

alloc() - Static method in class org.sf.javabdd.CUDDFactory.CUDDBDDPairing

 

allsat() - Method in class org.sf.javabdd.BDD

Finds all satisfying variable assignments.

allsat() - Method in class org.sf.javabdd.BuDDyFactory.BuDDyBDD

 

allsat() - Method in class org.sf.javabdd.CUDDFactory.CUDDBDD

 

allsat() - Method in class org.sf.javabdd.JavaFactory.bdd

 

allsat() - Method in class org.sf.javabdd.TestBDDFactory.TestBDD

 

allsat() - Method in class org.sf.javabdd.TypedBDDFactory.TypedBDD

 

allsat0(int) - Static method in class org.sf.javabdd.BuDDyFactory.BuDDyBDD

 

allsatProfile - Variable in class org.sf.javabdd.JavaFactory

 

allsat_rec(int, List) - Method in class org.sf.javabdd.JavaFactory

 

and(BDD) - Method in class org.sf.javabdd.BDD

Returns the logical 'and' of two BDDs.

and - Static variable in class org.sf.javabdd.BDDFactory

Logical 'and'.

andWith(BDD) - Method in class org.sf.javabdd.BDD

Makes this BDD be the logical 'and' of two BDDs.

append(long, long) - Method in class org.sf.javabdd.BDD.OutputBuffer

 

append(long) - Method in class org.sf.javabdd.BDD.OutputBuffer

 

appexcache - Variable in class org.sf.javabdd.JavaFactory

 

appexid - Variable in class org.sf.javabdd.JavaFactory

 

appexop - Variable in class org.sf.javabdd.JavaFactory

 

apply(BDD, BDDFactory.BDDOp) - Method in class org.sf.javabdd.BDD

Returns the result of applying the binary operator opr to the two BDDs.

apply(BDD, BDDFactory.BDDOp) - Method in class org.sf.javabdd.BuDDyFactory.BuDDyBDD

 

apply(BDD, BDDFactory.BDDOp) - Method in class org.sf.javabdd.CUDDFactory.CUDDBDD

 

apply(BDD, BDDFactory.BDDOp) - Method in class org.sf.javabdd.JavaFactory.bdd

 

apply(BDD, BDDFactory.BDDOp) - Method in class org.sf.javabdd.TestBDDFactory.TestBDD

 

apply(BDD, BDDFactory.BDDOp) - Method in class org.sf.javabdd.TypedBDDFactory.TypedBDD

 

apply0(int, int, int) - Static method in class org.sf.javabdd.BuDDyFactory.BuDDyBDD

 

apply0(long, long, int) - Static method in class org.sf.javabdd.CUDDFactory.CUDDBDD

 

applyAll(BDD, BDDFactory.BDDOp, BDD) - Method in class org.sf.javabdd.BDD

Applies the binary operator opr to two BDDs and then performs a universal quantification of the variables from the variable set var.

applyAll(BDD, BDDFactory.BDDOp, BDD) - Method in class org.sf.javabdd.BuDDyFactory.BuDDyBDD

 

applyAll(BDD, BDDFactory.BDDOp, BDD) - Method in class org.sf.javabdd.CUDDFactory.CUDDBDD

 

applyAll(BDD, BDDFactory.BDDOp, BDD) - Method in class org.sf.javabdd.JavaFactory.bdd

 

applyAll(BDD, BDDFactory.BDDOp, BDD) - Method in class org.sf.javabdd.TestBDDFactory.TestBDD

 

applyAll(BDD, BDDFactory.BDDOp, BDD) - Method in class org.sf.javabdd.TypedBDDFactory.TypedBDD

 

applyAll0(int, int, int, int) - Static method in class org.sf.javabdd.BuDDyFactory.BuDDyBDD

 

applyEx(BDD, BDDFactory.BDDOp, BDD) - Method in class org.sf.javabdd.BDD

Applies the binary operator opr to two BDDs and then performs an existential quantification of the variables from the variable set var.

applyEx(BDD, BDDFactory.BDDOp, BDD) - Method in class org.sf.javabdd.BuDDyFactory.BuDDyBDD

 

applyEx(BDD, BDDFactory.BDDOp, BDD) - Method in class org.sf.javabdd.CUDDFactory.CUDDBDD

 

applyEx(BDD, BDDFactory.BDDOp, BDD) - Method in class org.sf.javabdd.JavaFactory.bdd

 

applyEx(BDD, BDDFactory.BDDOp, BDD) - Method in class org.sf.javabdd.TestBDDFactory.TestBDD

 

applyEx(BDD, BDDFactory.BDDOp, BDD) - Method in class org.sf.javabdd.TypedBDDFactory.TypedBDD

 

applyEx0(int, int, int, int) - Static method in class org.sf.javabdd.BuDDyFactory.BuDDyBDD

 

applyHelper(Set, TypedBDDFactory.TypedBDD, TypedBDDFactory.TypedBDD, BDDFactory.BDDOp) - Method in class org.sf.javabdd.TypedBDDFactory.TypedBDD

 

applyUni(BDD, BDDFactory.BDDOp, BDD) - Method in class org.sf.javabdd.BDD

Applies the binary operator opr to two BDDs and then performs a unique quantification of the variables from the variable set var.

applyUni(BDD, BDDFactory.BDDOp, BDD) - Method in class org.sf.javabdd.BuDDyFactory.BuDDyBDD

 

applyUni(BDD, BDDFactory.BDDOp, BDD) - Method in class org.sf.javabdd.CUDDFactory.CUDDBDD

 

applyUni(BDD, BDDFactory.BDDOp, BDD) - Method in class org.sf.javabdd.JavaFactory.bdd

 

applyUni(BDD, BDDFactory.BDDOp, BDD) - Method in class org.sf.javabdd.TestBDDFactory.TestBDD

 

applyUni(BDD, BDDFactory.BDDOp, BDD) - Method in class org.sf.javabdd.TypedBDDFactory.TypedBDD

 

applyUni0(int, int, int, int) - Static method in class org.sf.javabdd.BuDDyFactory.BuDDyBDD

 

applyWith(BDD, BDDFactory.BDDOp) - Method in class org.sf.javabdd.BDD

Makes this BDD be the result of the binary operator opr of two BDDs.

applyWith(BDD, BDDFactory.BDDOp) - Method in class org.sf.javabdd.BuDDyFactory.BuDDyBDD

 

applyWith(BDD, BDDFactory.BDDOp) - Method in class org.sf.javabdd.CUDDFactory.CUDDBDD

 

applyWith(BDD, BDDFactory.BDDOp) - Method in class org.sf.javabdd.JavaFactory.bdd

 

applyWith(BDD, BDDFactory.BDDOp) - Method in class org.sf.javabdd.TestBDDFactory.TestBDD

 

applyWith(BDD, BDDFactory.BDDOp) - Method in class org.sf.javabdd.TypedBDDFactory.TypedBDD

 

apply_rec(int, int) - Method in class org.sf.javabdd.JavaFactory

 

applycache - Variable in class org.sf.javabdd.JavaFactory

 

applyop - Variable in class org.sf.javabdd.JavaFactory

 

appquant_rec(int, int) - Method in class org.sf.javabdd.JavaFactory

 

assertSame(boolean, String) - Static method in class org.sf.javabdd.TestBDDFactory

 

assertSame(BDD, BDD, String) - Static method in class org.sf.javabdd.TestBDDFactory

 

assertSame(boolean, BDD, BDD, String) - Static method in class org.sf.javabdd.TestBDDFactory

 

autoReorder(BDDFactory.ReorderMethod) - Method in class org.sf.javabdd.BDDFactory

Enables automatic reordering.

autoReorder(BDDFactory.ReorderMethod, int) - Method in class org.sf.javabdd.BDDFactory

Enables automatic reordering with the given (maximum) number of reorderings.

autoReorder(BDDFactory.ReorderMethod) - Method in class org.sf.javabdd.BuDDyFactory

 

autoReorder(BDDFactory.ReorderMethod, int) - Method in class org.sf.javabdd.BuDDyFactory

 

autoReorder(BDDFactory.ReorderMethod) - Method in class org.sf.javabdd.CUDDFactory

 

autoReorder(BDDFactory.ReorderMethod, int) - Method in class org.sf.javabdd.CUDDFactory

 

autoReorder(BDDFactory.ReorderMethod) - Method in class org.sf.javabdd.JavaFactory

 

autoReorder(BDDFactory.ReorderMethod, int) - Method in class org.sf.javabdd.JavaFactory

 

autoReorder(BDDFactory.ReorderMethod) - Method in class org.sf.javabdd.TestBDDFactory

 

autoReorder(BDDFactory.ReorderMethod, int) - Method in class org.sf.javabdd.TestBDDFactory

 

autoReorder(BDDFactory.ReorderMethod) - Method in class org.sf.javabdd.TypedBDDFactory

 

autoReorder(BDDFactory.ReorderMethod, int) - Method in class org.sf.javabdd.TypedBDDFactory

 

autoReorder0(int) - Static method in class org.sf.javabdd.BuDDyFactory

 

autoReorder1(int, int) - Static method in class org.sf.javabdd.BuDDyFactory

 

---

B

BDD - class org.sf.javabdd.BDD.

Binary Decision Diagrams (BDDs) are used for efficient computation of many common problems.

BDD() - Constructor for class org.sf.javabdd.BDD

Protected constructor.

BDD.BDDToString - class org.sf.javabdd.BDD.BDDToString.

BDDToString is used to specify the printing behavior of BDDs with domains.

BDD.BDDToString() - Constructor for class org.sf.javabdd.BDD.BDDToString

Protected constructor.

BDD.OutputBuffer - class org.sf.javabdd.BDD.OutputBuffer.

 

BDD.OutputBuffer(BDD.BDDToString, StringBuffer, int) - Constructor for class org.sf.javabdd.BDD.OutputBuffer

 

BDDBitVector - class org.sf.javabdd.BDDBitVector.

Bit vector implementation for BDDs.

BDDBitVector(int) - Constructor for class org.sf.javabdd.BDDBitVector

 

BDDDomain - class org.sf.javabdd.BDDDomain.

Represents a domain of BDD variables.

BDDDomain(int, long) - Constructor for class org.sf.javabdd.BDDDomain

 

BDDException - exception org.sf.javabdd.BDDException.

An exception caused by an invalid BDD operation.

BDDException() - Constructor for class org.sf.javabdd.BDDException

 

BDDException(String) - Constructor for class org.sf.javabdd.BDDException

 

BDDFactory - class org.sf.javabdd.BDDFactory.

Interface for the creation and manipulation of BDDs.

BDDFactory() - Constructor for class org.sf.javabdd.BDDFactory

 

BDDFactory.BDDOp - class org.sf.javabdd.BDDFactory.BDDOp.

Enumeration class for binary operations on BDDs.

BDDFactory.BDDOp(int, String) - Constructor for class org.sf.javabdd.BDDFactory.BDDOp

 

BDDFactory.ReorderMethod - class org.sf.javabdd.BDDFactory.ReorderMethod.

Enumeration class for method reordering techniques.

BDDFactory.ReorderMethod(int, String) - Constructor for class org.sf.javabdd.BDDFactory.ReorderMethod

 

BDDONE - Static variable in class org.sf.javabdd.JavaFactory

 

BDDPairing - class org.sf.javabdd.BDDPairing.

Encodes a table of variable pairs.

BDDPairing() - Constructor for class org.sf.javabdd.BDDPairing

 

BDDZERO - Static variable in class org.sf.javabdd.JavaFactory

 

BDD_BREAK - Static variable in class org.sf.javabdd.JavaFactory

 

BDD_DECVNUM - Static variable in class org.sf.javabdd.JavaFactory

 

BDD_DEREF - Static variable in class org.sf.javabdd.JavaFactory

 

BDD_ERRNUM - Static variable in class org.sf.javabdd.JavaFactory

 

BDD_FILE - Static variable in class org.sf.javabdd.JavaFactory

 

BDD_FORMAT - Static variable in class org.sf.javabdd.JavaFactory

 

BDD_ILLBDD - Static variable in class org.sf.javabdd.JavaFactory

 

BDD_MEMORY - Static variable in class org.sf.javabdd.JavaFactory

 

BDD_NODENUM - Static variable in class org.sf.javabdd.JavaFactory

 

BDD_NODES - Static variable in class org.sf.javabdd.JavaFactory

 

BDD_OP - Static variable in class org.sf.javabdd.JavaFactory

 

BDD_ORDER - Static variable in class org.sf.javabdd.JavaFactory

 

BDD_RANGE - Static variable in class org.sf.javabdd.JavaFactory

 

BDD_REORDER_FIXED - Static variable in class org.sf.javabdd.JavaFactory

 

BDD_REORDER_FREE - Static variable in class org.sf.javabdd.JavaFactory

 

BDD_REORDER_NONE - Static variable in class org.sf.javabdd.JavaFactory

 

BDD_REORDER_RANDOM - Static variable in class org.sf.javabdd.JavaFactory

 

BDD_REORDER_SIFT - Static variable in class org.sf.javabdd.JavaFactory

 

BDD_REORDER_SIFTITE - Static variable in class org.sf.javabdd.JavaFactory

 

BDD_REORDER_WIN2 - Static variable in class org.sf.javabdd.JavaFactory

 

BDD_REORDER_WIN2ITE - Static variable in class org.sf.javabdd.JavaFactory

 

BDD_REORDER_WIN3 - Static variable in class org.sf.javabdd.JavaFactory

 

BDD_REORDER_WIN3ITE - Static variable in class org.sf.javabdd.JavaFactory

 

BDD_REPLACE - Static variable in class org.sf.javabdd.JavaFactory

 

BDD_RUNNING - Static variable in class org.sf.javabdd.JavaFactory

 

BDD_SIZE - Static variable in class org.sf.javabdd.JavaFactory

 

BDD_VAR - Static variable in class org.sf.javabdd.JavaFactory

 

BDD_VARBLK - Static variable in class org.sf.javabdd.JavaFactory

 

BDD_VARNUM - Static variable in class org.sf.javabdd.JavaFactory

 

BDD_VARSET - Static variable in class org.sf.javabdd.JavaFactory

 

BVEC_DIVZERO - Static variable in class org.sf.javabdd.JavaFactory

 

BVEC_SHIFT - Static variable in class org.sf.javabdd.JavaFactory

 

BVEC_SIZE - Static variable in class org.sf.javabdd.JavaFactory

 

BddCacheD_init(int) - Method in class org.sf.javabdd.JavaFactory

 

BddCacheI_init(int) - Method in class org.sf.javabdd.JavaFactory

 

BddCache_done(JavaFactory.BddCache) - Method in class org.sf.javabdd.JavaFactory

 

BddCache_lookupD(JavaFactory.BddCache, int) - Method in class org.sf.javabdd.JavaFactory

 

BddCache_lookupI(JavaFactory.BddCache, int) - Method in class org.sf.javabdd.JavaFactory

 

BddCache_reset(JavaFactory.BddCache) - Method in class org.sf.javabdd.JavaFactory

 

BddCache_resize(JavaFactory.BddCache, int) - Method in class org.sf.javabdd.JavaFactory

 

BitIsSet(int, int) - Static method in class org.sf.javabdd.JavaFactory

 

BuDDyFactory - class org.sf.javabdd.BuDDyFactory.

An implementation of BDDFactory that relies on the BuDDy library through a native interface.

BuDDyFactory() - Constructor for class org.sf.javabdd.BuDDyFactory

 

BuDDyFactory.BuDDyBDD - class org.sf.javabdd.BuDDyFactory.BuDDyBDD.

 

BuDDyFactory.BuDDyBDD(int) - Constructor for class org.sf.javabdd.BuDDyFactory.BuDDyBDD

 

BuDDyFactory.BuDDyBDDBitVector - class org.sf.javabdd.BuDDyFactory.BuDDyBDDBitVector.

 

BuDDyFactory.BuDDyBDDBitVector(int) - Constructor for class org.sf.javabdd.BuDDyFactory.BuDDyBDDBitVector

 

BuDDyFactory.BuDDyBDDDomain - class org.sf.javabdd.BuDDyFactory.BuDDyBDDDomain.

 

BuDDyFactory.BuDDyBDDDomain(int, long) - Constructor for class org.sf.javabdd.BuDDyFactory.BuDDyBDDDomain

 

BuDDyFactory.BuDDyBDDPairing - class org.sf.javabdd.BuDDyFactory.BuDDyBDDPairing.

 

BuDDyFactory.BuDDyBDDPairing(long) - Constructor for class org.sf.javabdd.BuDDyFactory.BuDDyBDDPairing

 

b - Variable in class org.sf.javabdd.JavaFactory.BddCacheData

 

b1 - Variable in class org.sf.javabdd.TestBDDFactory.TestBDD

 

b1 - Variable in class org.sf.javabdd.TestBDDFactory.TestBDDPairing

 

b2 - Variable in class org.sf.javabdd.TestBDDFactory.TestBDD

 

b2 - Variable in class org.sf.javabdd.TestBDDFactory.TestBDDPairing

 

bdd - Variable in class org.sf.javabdd.TypedBDDFactory.TypedBDD

 

bdd_addref(int) - Method in class org.sf.javabdd.JavaFactory

 

bdd_addvarblock(int[], boolean) - Method in class org.sf.javabdd.JavaFactory

 

bdd_allsat(int, List) - Method in class org.sf.javabdd.JavaFactory

 

bdd_anodecount(int[]) - Method in class org.sf.javabdd.JavaFactory

 

bdd_appall(int, int, int, int) - Method in class org.sf.javabdd.JavaFactory

 

bdd_appex(int, int, int, int) - Method in class org.sf.javabdd.JavaFactory

 

bdd_apply(int, int, int) - Method in class org.sf.javabdd.JavaFactory

 

bdd_appuni(int, int, int, int) - Method in class org.sf.javabdd.JavaFactory

 

bdd_autoreorder(int) - Method in class org.sf.javabdd.JavaFactory

 

bdd_autoreorder_times(int, int) - Method in class org.sf.javabdd.JavaFactory

 

bdd_checkreorder() - Method in class org.sf.javabdd.JavaFactory

 

bdd_clrvarblocks() - Method in class org.sf.javabdd.JavaFactory

 

bdd_compose(int, int, int) - Method in class org.sf.javabdd.JavaFactory

 

bdd_constrain(int, int) - Method in class org.sf.javabdd.JavaFactory

 

bdd_correctify(int, int, int) - Method in class org.sf.javabdd.JavaFactory

 

bdd_default_gbchandler(boolean, JavaFactory.bddGbcStat) - Method in class org.sf.javabdd.JavaFactory

 

bdd_default_reohandler(int) - Method in class org.sf.javabdd.JavaFactory

 

bdd_delref(int) - Method in class org.sf.javabdd.JavaFactory

 

bdd_disable_reorder() - Method in class org.sf.javabdd.JavaFactory

 

bdd_done() - Method in class org.sf.javabdd.JavaFactory

 

bdd_enable_reorder() - Method in class org.sf.javabdd.JavaFactory

 

bdd_error(int) - Static method in class org.sf.javabdd.JavaFactory

 

bdd_exist(int, int) - Method in class org.sf.javabdd.JavaFactory

 

bdd_forall(int, int) - Method in class org.sf.javabdd.JavaFactory

 

bdd_fprintall(PrintStream) - Method in class org.sf.javabdd.JavaFactory

 

bdd_fprintorder(PrintStream) - Method in class org.sf.javabdd.JavaFactory

 

bdd_fprintstat(PrintStream) - Method in class org.sf.javabdd.JavaFactory

 

bdd_fprinttable(PrintStream, int) - Method in class org.sf.javabdd.JavaFactory

 

bdd_fullsatone(int) - Method in class org.sf.javabdd.JavaFactory

 

bdd_gbc() - Method in class org.sf.javabdd.JavaFactory

 

bdd_gbc_rehash() - Method in class org.sf.javabdd.JavaFactory

 

bdd_getallocnum() - Method in class org.sf.javabdd.JavaFactory

 

bdd_getnodenum() - Method in class org.sf.javabdd.JavaFactory

 

bdd_high(int) - Method in class org.sf.javabdd.JavaFactory

 

bdd_intaddvarblock(int, int, boolean) - Method in class org.sf.javabdd.JavaFactory

 

bdd_ite(int, int, int) - Method in class org.sf.javabdd.JavaFactory

 

bdd_ithvar(int) - Method in class org.sf.javabdd.JavaFactory

 

bdd_load(DataInput) - Method in class org.sf.javabdd.JavaFactory

 

bdd_loaddata(DataInput) - Method in class org.sf.javabdd.JavaFactory

 

bdd_low(int) - Method in class org.sf.javabdd.JavaFactory

 

bdd_makenode(int, int, int) - Method in class org.sf.javabdd.JavaFactory

 

bdd_mark(int) - Method in class org.sf.javabdd.JavaFactory

 

bdd_mark_upto(int, int) - Method in class org.sf.javabdd.JavaFactory

 

bdd_markcount(int, int[]) - Method in class org.sf.javabdd.JavaFactory

 

bdd_nithvar(int) - Method in class org.sf.javabdd.JavaFactory

 

bdd_nodecount(int) - Method in class org.sf.javabdd.JavaFactory

 

bdd_noderesize(boolean) - Method in class org.sf.javabdd.JavaFactory

 

bdd_not(int) - Method in class org.sf.javabdd.JavaFactory

 

bdd_operator_done() - Method in class org.sf.javabdd.JavaFactory

 

bdd_operator_init(int) - Method in class org.sf.javabdd.JavaFactory

 

bdd_operator_noderesize() - Method in class org.sf.javabdd.JavaFactory

 

bdd_operator_reset() - Method in class org.sf.javabdd.JavaFactory

 

bdd_operator_varresize() - Method in class org.sf.javabdd.JavaFactory

 

bdd_pairs_done() - Method in class org.sf.javabdd.JavaFactory

 

bdd_pairs_init() - Method in class org.sf.javabdd.JavaFactory

 

bdd_pairs_resize(int, int) - Method in class org.sf.javabdd.JavaFactory

 

bdd_pairs_vardown(int) - Method in class org.sf.javabdd.JavaFactory

 

bdd_pathcount(int) - Method in class org.sf.javabdd.JavaFactory

 

bdd_pathcount_rec(int) - Method in class org.sf.javabdd.JavaFactory

 

bdd_prime_gte(int) - Method in class org.sf.javabdd.JavaFactory

External interface

bdd_prime_lte(int) - Method in class org.sf.javabdd.JavaFactory

 

bdd_printset_rec(BDDFactory, StringBuffer, BDD, int[]) - Static method in class org.sf.javabdd.BDD

 

bdd_register_pair(JavaFactory.bddPair) - Method in class org.sf.javabdd.JavaFactory

 

bdd_relprod(int, int, int) - Method in class org.sf.javabdd.JavaFactory

 

bdd_reorder(int) - Method in class org.sf.javabdd.JavaFactory

 

bdd_reorder_auto() - Method in class org.sf.javabdd.JavaFactory

 

bdd_reorder_done() - Method in class org.sf.javabdd.JavaFactory

 

bdd_reorder_gain() - Method in class org.sf.javabdd.JavaFactory

 

bdd_reorder_init() - Method in class org.sf.javabdd.JavaFactory

 

bdd_reorder_ready() - Method in class org.sf.javabdd.JavaFactory

 

bdd_reorder_verbose(int) - Method in class org.sf.javabdd.JavaFactory

 

bdd_replace(int, JavaFactory.bddPair) - Method in class org.sf.javabdd.JavaFactory

 

bdd_resetpair(JavaFactory.bddPair) - Method in class org.sf.javabdd.JavaFactory

 

bdd_restrict(int, int) - Method in class org.sf.javabdd.JavaFactory

 

bdd_satcount(int) - Method in class org.sf.javabdd.JavaFactory

 

bdd_satcountset(int, int) - Method in class org.sf.javabdd.JavaFactory

 

bdd_satone(int) - Method in class org.sf.javabdd.JavaFactory

 

bdd_satoneset(int, int, int) - Method in class org.sf.javabdd.JavaFactory

 

bdd_save(DataOutput, int) - Method in class org.sf.javabdd.JavaFactory

 

bdd_save_rec(DataOutput, int) - Method in class org.sf.javabdd.JavaFactory

 

bdd_setbddpair(JavaFactory.bddPair, int, int) - Method in class org.sf.javabdd.JavaFactory

 

bdd_setcacheratio(int) - Method in class org.sf.javabdd.JavaFactory

 

bdd_setmaxincrease(int) - Method in class org.sf.javabdd.JavaFactory

 

bdd_setmaxnodenum(int) - Method in class org.sf.javabdd.JavaFactory

 

bdd_setminfreenodes(int) - Method in class org.sf.javabdd.JavaFactory

 

bdd_setpair(JavaFactory.bddPair, int, int) - Method in class org.sf.javabdd.JavaFactory

 

bdd_setvarnum(int) - Method in class org.sf.javabdd.JavaFactory

 

bdd_setvarorder(int[]) - Method in class org.sf.javabdd.JavaFactory

 

bdd_simplify(int, int) - Method in class org.sf.javabdd.JavaFactory

 

bdd_support(int) - Method in class org.sf.javabdd.JavaFactory

 

bdd_swapvar(int, int) - Method in class org.sf.javabdd.JavaFactory

 

bdd_unique(int, int) - Method in class org.sf.javabdd.JavaFactory

 

bdd_unmark(int) - Method in class org.sf.javabdd.JavaFactory

 

bdd_unmark_upto(int, int) - Method in class org.sf.javabdd.JavaFactory

 

bdd_var(int) - Method in class org.sf.javabdd.JavaFactory

 

bdd_varblockall() - Method in class org.sf.javabdd.JavaFactory

 

bdd_varnum() - Method in class org.sf.javabdd.JavaFactory

 

bdd_varprofile(int) - Method in class org.sf.javabdd.JavaFactory

 

bdd_veccompose(int, JavaFactory.bddPair) - Method in class org.sf.javabdd.JavaFactory

 

bddcachestats - Variable in class org.sf.javabdd.JavaFactory

 

bdderrorcond - Variable in class org.sf.javabdd.JavaFactory

 

bddfalse - Static variable in class org.sf.javabdd.JavaFactory

 

bddfreenum - Variable in class org.sf.javabdd.JavaFactory

 

bddfreepos - Variable in class org.sf.javabdd.JavaFactory

 

bddlevel2var - Variable in class org.sf.javabdd.JavaFactory

 

bddmaxnodeincrease - Variable in class org.sf.javabdd.JavaFactory

 

bddmaxnodesize - Variable in class org.sf.javabdd.JavaFactory

 

bddnodes - Variable in class org.sf.javabdd.JavaFactory

 

bddnodesize - Variable in class org.sf.javabdd.JavaFactory

 

bddop_and - Static variable in class org.sf.javabdd.JavaFactory

 

bddop_biimp - Static variable in class org.sf.javabdd.JavaFactory

 

bddop_diff - Static variable in class org.sf.javabdd.JavaFactory

 

bddop_imp - Static variable in class org.sf.javabdd.JavaFactory

 

bddop_invimp - Static variable in class org.sf.javabdd.JavaFactory

 

bddop_less - Static variable in class org.sf.javabdd.JavaFactory

 

bddop_nand - Static variable in class org.sf.javabdd.JavaFactory

 

bddop_nor - Static variable in class org.sf.javabdd.JavaFactory

 

bddop_not - Static variable in class org.sf.javabdd.JavaFactory

 

bddop_or - Static variable in class org.sf.javabdd.JavaFactory

 

bddop_simplify - Static variable in class org.sf.javabdd.JavaFactory

 

bddop_xor - Static variable in class org.sf.javabdd.JavaFactory

 

bddproduced - Variable in class org.sf.javabdd.JavaFactory

 

bddrefstack - Variable in class org.sf.javabdd.JavaFactory

 

bddrefstacktop - Variable in class org.sf.javabdd.JavaFactory

 

bddreordermethod - Variable in class org.sf.javabdd.JavaFactory

 

bddreordertimes - Variable in class org.sf.javabdd.JavaFactory

 

bddresized - Variable in class org.sf.javabdd.JavaFactory

 

bddrunning - Variable in class org.sf.javabdd.JavaFactory

 

bddtree_addrange(JavaFactory.BddTree, int, int, boolean, int) - Method in class org.sf.javabdd.JavaFactory

 

bddtree_addrange_rec(JavaFactory.BddTree, JavaFactory.BddTree, int, int, boolean, int) - Method in class org.sf.javabdd.JavaFactory

 

bddtree_del(JavaFactory.BddTree) - Method in class org.sf.javabdd.JavaFactory

 

bddtree_new(int) - Method in class org.sf.javabdd.JavaFactory

 

bddtrue - Static variable in class org.sf.javabdd.JavaFactory

 

bddvar2level - Variable in class org.sf.javabdd.JavaFactory

 

bddvarnum - Variable in class org.sf.javabdd.JavaFactory

 

bddvarset - Variable in class org.sf.javabdd.JavaFactory

 

biimp(BDD) - Method in class org.sf.javabdd.BDD

Returns the logical 'bi-implication' of two BDDs.

biimp - Static variable in class org.sf.javabdd.BDDFactory

Logical 'bi-implication'.

biimpWith(BDD) - Method in class org.sf.javabdd.BDD

Makes this BDD be the logical 'bi-implication' of two BDDs.

bitvec - Variable in class org.sf.javabdd.BDDBitVector

 

block - Variable in class org.sf.javabdd.JavaFactory.sizePair

 

blockdown(JavaFactory.BddTree) - Method in class org.sf.javabdd.JavaFactory

 

blockid - Variable in class org.sf.javabdd.JavaFactory

 

buildAdd(BDDDomain, long) - Method in class org.sf.javabdd.BDDDomain

 

buildAdd(BDDDomain, int, long) - Method in class org.sf.javabdd.BDDDomain

 

buildAdd(BDDDomain, int, long) - Method in class org.sf.javabdd.TypedBDDFactory.TypedBDDDomain

 

buildCube(int, List) - Method in class org.sf.javabdd.BDDFactory

Build a cube from an array of variables.

buildCube(int, int[]) - Method in class org.sf.javabdd.BDDFactory

Build a cube from an array of variables.

buildCube(int, List) - Method in class org.sf.javabdd.BuDDyFactory

 

buildCube(int, int[]) - Method in class org.sf.javabdd.BuDDyFactory

 

buildCube0(int, int[]) - Static method in class org.sf.javabdd.BuDDyFactory

 

buildCube1(int, int[]) - Static method in class org.sf.javabdd.BuDDyFactory

 

buildEquals(BDDDomain) - Method in class org.sf.javabdd.BDDDomain

Builds a BDD which is true for all the possible assignments to the variable blocks that makes the blocks equal.

buildEquals(BDDDomain) - Method in class org.sf.javabdd.TypedBDDFactory.TypedBDDDomain

 

buildVector(int, boolean) - Method in class org.sf.javabdd.BDDFactory

 

buildVector(int, int, int) - Method in class org.sf.javabdd.BDDFactory

 

buildVector(BDDDomain) - Method in class org.sf.javabdd.BDDFactory

 

buildVector(int[]) - Method in class org.sf.javabdd.BDDFactory

 

---

C

CACHEID_APPAL - Static variable in class org.sf.javabdd.JavaFactory

 

CACHEID_APPEX - Static variable in class org.sf.javabdd.JavaFactory

 

CACHEID_APPUN - Static variable in class org.sf.javabdd.JavaFactory

 

CACHEID_COMPOSE - Static variable in class org.sf.javabdd.JavaFactory

 

CACHEID_CONSTRAIN - Static variable in class org.sf.javabdd.JavaFactory

 

CACHEID_EXIST - Static variable in class org.sf.javabdd.JavaFactory

 

CACHEID_FORALL - Static variable in class org.sf.javabdd.JavaFactory

 

CACHEID_PATHCOU - Static variable in class org.sf.javabdd.JavaFactory

 

CACHEID_REPLACE - Static variable in class org.sf.javabdd.JavaFactory

 

CACHEID_RESTRICT - Static variable in class org.sf.javabdd.JavaFactory

 

CACHEID_SATCOU - Static variable in class org.sf.javabdd.JavaFactory

 

CACHEID_SATCOULN - Static variable in class org.sf.javabdd.JavaFactory

 

CACHEID_UNIQUE - Static variable in class org.sf.javabdd.JavaFactory

 

CACHEID_VECCOMPOSE - Static variable in class org.sf.javabdd.JavaFactory

 

CACHESTATS - Static variable in class org.sf.javabdd.JavaFactory

 

CHECK(int) - Method in class org.sf.javabdd.JavaFactory

 

CHECKTIMES - Static variable in class org.sf.javabdd.JavaFactory

 

CHECKa(int, int) - Method in class org.sf.javabdd.JavaFactory

 

COMPOSEHASH(int, int) - Static method in class org.sf.javabdd.JavaFactory

 

CONSTRAINHASH(int, int) - Static method in class org.sf.javabdd.JavaFactory

 

CUDDFactory - class org.sf.javabdd.CUDDFactory.

An implementation of BDDFactory that relies on the CUDD library through a native interface.

CUDDFactory() - Constructor for class org.sf.javabdd.CUDDFactory

 

CUDDFactory.CUDDBDD - class org.sf.javabdd.CUDDFactory.CUDDBDD.

 

CUDDFactory.CUDDBDD(long) - Constructor for class org.sf.javabdd.CUDDFactory.CUDDBDD

 

CUDDFactory.CUDDBDDBitVector - class org.sf.javabdd.CUDDFactory.CUDDBDDBitVector.

 

CUDDFactory.CUDDBDDBitVector(int) - Constructor for class org.sf.javabdd.CUDDFactory.CUDDBDDBitVector

 

CUDDFactory.CUDDBDDDomain - class org.sf.javabdd.CUDDFactory.CUDDBDDDomain.

 

CUDDFactory.CUDDBDDDomain(int, long) - Constructor for class org.sf.javabdd.CUDDFactory.CUDDBDDDomain

 

CUDDFactory.CUDDBDDPairing - class org.sf.javabdd.CUDDFactory.CUDDBDDPairing.

 

CUDDFactory.CUDDBDDPairing() - Constructor for class org.sf.javabdd.CUDDFactory.CUDDBDDPairing

 

c - Variable in class org.sf.javabdd.JavaFactory.BddCacheData

 

c1 - Static variable in class org.sf.javabdd.JavaFactory

 

cacheratio - Variable in class org.sf.javabdd.JavaFactory

 

cachesize - Variable in class org.sf.javabdd.JavaFactory

 

checkresize() - Method in class org.sf.javabdd.JavaFactory

 

clearAllDomains() - Method in class org.sf.javabdd.BDDFactory

Clear all allocated finite domain blocks that were defined by extDomain() or overlapDomain().

clearRef() - Method in class org.sf.javabdd.JavaFactory.BddNode

 

clearVarBlocks() - Method in class org.sf.javabdd.BDDFactory

Clears all the variable blocks that have been defined by calls to addVarBlock.

clearVarBlocks() - Method in class org.sf.javabdd.BuDDyFactory

 

clearVarBlocks() - Method in class org.sf.javabdd.CUDDFactory

 

clearVarBlocks() - Method in class org.sf.javabdd.JavaFactory

 

clearVarBlocks() - Method in class org.sf.javabdd.TestBDDFactory

 

clearVarBlocks() - Method in class org.sf.javabdd.TypedBDDFactory

 

clearVarBlocks0() - Static method in class org.sf.javabdd.BuDDyFactory

 

clock() - Method in class org.sf.javabdd.JavaFactory

 

coerce(int) - Method in class org.sf.javabdd.BDDBitVector

 

compose(BDD, int) - Method in class org.sf.javabdd.BDD

Functional composition.

compose(BDD, int) - Method in class org.sf.javabdd.BuDDyFactory.BuDDyBDD

 

compose(BDD, int) - Method in class org.sf.javabdd.CUDDFactory.CUDDBDD

 

compose(BDD, int) - Method in class org.sf.javabdd.JavaFactory.bdd

 

compose(BDD, int) - Method in class org.sf.javabdd.TestBDDFactory.TestBDD

 

compose(BDD, int) - Method in class org.sf.javabdd.TypedBDDFactory.TypedBDD

 

compose0(int, int, int) - Static method in class org.sf.javabdd.BuDDyFactory.BuDDyBDD

 

compose0(long, long, int) - Static method in class org.sf.javabdd.CUDDFactory.CUDDBDD

 

compose_rec(int, int) - Method in class org.sf.javabdd.JavaFactory

 

composelevel - Variable in class org.sf.javabdd.JavaFactory

 

constantVector(int, int) - Method in class org.sf.javabdd.BDDFactory

 

constantVector(int, long) - Method in class org.sf.javabdd.BDDFactory

 

constrain(BDD) - Method in class org.sf.javabdd.BDD

Generalized cofactor.

constrain(BDD) - Method in class org.sf.javabdd.BuDDyFactory.BuDDyBDD

 

constrain(BDD) - Method in class org.sf.javabdd.CUDDFactory.CUDDBDD

 

constrain(BDD) - Method in class org.sf.javabdd.JavaFactory.bdd

 

constrain(BDD) - Method in class org.sf.javabdd.TestBDDFactory.TestBDD

 

constrain(BDD) - Method in class org.sf.javabdd.TypedBDDFactory.TypedBDD

 

constrain0(int, int) - Static method in class org.sf.javabdd.BuDDyFactory.BuDDyBDD

 

constrain_rec(int, int) - Method in class org.sf.javabdd.JavaFactory

 

copy() - Method in class org.sf.javabdd.BDDBitVector

 

countcache - Variable in class org.sf.javabdd.JavaFactory

 

createBitVector(int) - Method in class org.sf.javabdd.BDDFactory

 

createBitVector(int) - Method in class org.sf.javabdd.BuDDyFactory

 

createBitVector(int) - Method in class org.sf.javabdd.CUDDFactory

 

createBitVector(int) - Method in class org.sf.javabdd.JavaFactory

 

createBitVector(int) - Method in class org.sf.javabdd.TestBDDFactory

 

createBitVector(int) - Method in class org.sf.javabdd.TypedBDDFactory

 

createDomain(int, long) - Method in class org.sf.javabdd.BDDFactory

Implementors must implement this factory method to create BDDDomain objects of the correct type.

createDomain(int, long) - Method in class org.sf.javabdd.BuDDyFactory

 

createDomain(int, long) - Method in class org.sf.javabdd.CUDDFactory

 

createDomain(int, long) - Method in class org.sf.javabdd.JavaFactory

 

createDomain(int, long) - Method in class org.sf.javabdd.TestBDDFactory

 

createDomain(int, long) - Method in class org.sf.javabdd.TypedBDDFactory

 

---

D

DECREF(int) - Method in class org.sf.javabdd.JavaFactory

 

DEFAULTMAXNODEINC - Static variable in class org.sf.javabdd.JavaFactory

 

data - Variable in class org.sf.javabdd.JavaFactory.LoadHash

 

decRef() - Method in class org.sf.javabdd.JavaFactory.BddNode

 

delRef(int) - Static method in class org.sf.javabdd.BuDDyFactory.BuDDyBDD

 

delRef(long) - Static method in class org.sf.javabdd.CUDDFactory.CUDDBDD

 

diff - Static variable in class org.sf.javabdd.BDDFactory

Set difference.

disableReorder() - Method in class org.sf.javabdd.BDDFactory

Disable automatic reordering until enableReorder is called.

disableReorder() - Method in class org.sf.javabdd.BuDDyFactory

 

disableReorder() - Method in class org.sf.javabdd.CUDDFactory

 

disableReorder() - Method in class org.sf.javabdd.JavaFactory

 

disableReorder() - Method in class org.sf.javabdd.TestBDDFactory

 

disableReorder() - Method in class org.sf.javabdd.TypedBDDFactory

 

disableReorder0() - Static method in class org.sf.javabdd.BuDDyFactory

 

div_rec(BDDBitVector, BDDBitVector, BDDBitVector, int) - Static method in class org.sf.javabdd.BDDBitVector

 

divmod(long, boolean) - Method in class org.sf.javabdd.BDDBitVector

 

dom - Variable in class org.sf.javabdd.TypedBDDFactory.TypedBDD

 

domMap - Variable in class org.sf.javabdd.TypedBDDFactory.TypedBDDPairing

 

domain - Variable in class org.sf.javabdd.BDD.OutputBuffer

 

domain() - Method in class org.sf.javabdd.BDDDomain

Returns what corresponds to a disjunction of all possible values of this domain.

domain - Variable in class org.sf.javabdd.BDDFactory

FINITE DOMAINS

domain - Variable in class org.sf.javabdd.TypedBDDFactory.TypedBDDDomain

 

domain() - Method in class org.sf.javabdd.TypedBDDFactory.TypedBDDDomain

 

domainNames(Set) - Static method in class org.sf.javabdd.TypedBDDFactory

 

domain_comparator - Static variable in class org.sf.javabdd.TypedBDDFactory

 

done - Variable in class org.sf.javabdd.BDD.OutputBuffer

 

done() - Method in class org.sf.javabdd.BDDFactory

Resets the BDD package.

done() - Method in class org.sf.javabdd.BuDDyFactory

 

done() - Method in class org.sf.javabdd.CUDDFactory

 

done() - Method in class org.sf.javabdd.JavaFactory

 

done() - Method in class org.sf.javabdd.TestBDDFactory

 

done() - Method in class org.sf.javabdd.TypedBDDFactory

 

done0() - Static method in class org.sf.javabdd.BuDDyFactory

 

done0() - Static method in class org.sf.javabdd.CUDDFactory

 

dres - Variable in class org.sf.javabdd.JavaFactory.BddCacheDataD

 

---

E

elementName(int, long) - Method in class org.sf.javabdd.BDD.BDDToString

Given a domain index and an element index, return the element's name.

elementNames(int, long, long) - Method in class org.sf.javabdd.BDD.BDDToString

Given a domain index and an inclusive range of element indices, return the names of the elements in that range.

enableReorder() - Method in class org.sf.javabdd.BDDFactory

Enable automatic reordering after a call to disableReorder.

enableReorder() - Method in class org.sf.javabdd.BuDDyFactory

 

enableReorder() - Method in class org.sf.javabdd.CUDDFactory

 

enableReorder() - Method in class org.sf.javabdd.JavaFactory

 

enableReorder() - Method in class org.sf.javabdd.TestBDDFactory

 

enableReorder() - Method in class org.sf.javabdd.TypedBDDFactory

 

enableReorder0() - Static method in class org.sf.javabdd.BuDDyFactory

 

equals(BDD) - Method in class org.sf.javabdd.BDD

Returns true if this BDD equals that BDD, false otherwise.

equals(Object) - Method in class org.sf.javabdd.BDD

 

equals(BDD) - Method in class org.sf.javabdd.BuDDyFactory.BuDDyBDD

 

equals(BDD) - Method in class org.sf.javabdd.CUDDFactory.CUDDBDD

 

equals(BDD) - Method in class org.sf.javabdd.JavaFactory.bdd

 

equals(BDD) - Method in class org.sf.javabdd.