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

A

add(BDDBitVector) - Method in class net.sf.javabdd.BDDBitVector
 
addURL(URL) - Method in class net.sf.javabdd.HijackingClassLoader
 
addVarBlock(BDD, boolean) - Method in class net.sf.javabdd.BDDFactory
Adds a new variable block for reordering.
addVarBlock(int, int, boolean) - Method in class net.sf.javabdd.BDDFactory
Adds a new variable block for reordering.
addVarBlock(BDD, boolean) - Method in class net.sf.javabdd.BuDDyFactory
 
addVarBlock(int, int, boolean) - Method in class net.sf.javabdd.BuDDyFactory
 
addVarBlock(BDD, boolean) - Method in class net.sf.javabdd.CALFactory
 
addVarBlock(int, int, boolean) - Method in class net.sf.javabdd.CALFactory
 
addVarBlock(BDD, boolean) - Method in class net.sf.javabdd.CUDDFactory
 
addVarBlock(int, int, boolean) - Method in class net.sf.javabdd.CUDDFactory
 
addVarBlock(BDD, boolean) - Method in class net.sf.javabdd.JDDFactory
 
addVarBlock(int, int, boolean) - Method in class net.sf.javabdd.JDDFactory
 
addVarBlock(BDD, boolean) - Method in class net.sf.javabdd.JFactory
 
addVarBlock(int, int, boolean) - Method in class net.sf.javabdd.JFactory
 
addVarBlock(BDD, boolean) - Method in class net.sf.javabdd.TestBDDFactory
 
addVarBlock(int, int, boolean) - Method in class net.sf.javabdd.TestBDDFactory
 
addVarBlock(BDD, boolean) - Method in class net.sf.javabdd.TypedBDDFactory
 
addVarBlock(int, int, boolean) - Method in class net.sf.javabdd.TypedBDDFactory
 
allDomains() - Method in class net.sf.javabdd.TypedBDDFactory
 
allsat() - Method in class net.sf.javabdd.BDD
Finds all satisfying variable assignments.
allsat() - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDD
 
and(BDD) - Method in class net.sf.javabdd.BDD
Returns the logical 'and' of two BDDs.
and - Static variable in class net.sf.javabdd.BDDFactory
Logical 'and'.
andWith(BDD) - Method in class net.sf.javabdd.BDD
Makes this BDD be the logical 'and' of two BDDs.
apply(BDD, BDDFactory.BDDOp) - Method in class net.sf.javabdd.BDD
Returns the result of applying the binary operator opr to the two BDDs.
apply(BDD, BDDFactory.BDDOp) - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDD
 
applyAll(BDD, BDDFactory.BDDOp, BDD) - Method in class net.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 net.sf.javabdd.TypedBDDFactory.TypedBDD
 
applyEx(BDD, BDDFactory.BDDOp, BDD) - Method in class net.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 net.sf.javabdd.TypedBDDFactory.TypedBDD
 
applyUni(BDD, BDDFactory.BDDOp, BDD) - Method in class net.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 net.sf.javabdd.TypedBDDFactory.TypedBDD
 
applyWith(BDD, BDDFactory.BDDOp) - Method in class net.sf.javabdd.BDD
Makes this BDD be the result of the binary operator opr of two BDDs.
applyWith(BDD, BDDFactory.BDDOp) - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDD
 
assertSame(boolean, String) - Static method in class net.sf.javabdd.TestBDDFactory
 
assertSame(BDD, BDD, String) - Static method in class net.sf.javabdd.TestBDDFactory
 
assertSame(boolean, BDD, BDD, String) - Static method in class net.sf.javabdd.TestBDDFactory
 
autoReorder(BDDFactory.ReorderMethod) - Method in class net.sf.javabdd.BDDFactory
Enables automatic reordering.
autoReorder(BDDFactory.ReorderMethod, int) - Method in class net.sf.javabdd.BDDFactory
Enables automatic reordering with the given (maximum) number of reorderings.
autoReorder(BDDFactory.ReorderMethod) - Method in class net.sf.javabdd.BuDDyFactory
 
autoReorder(BDDFactory.ReorderMethod, int) - Method in class net.sf.javabdd.BuDDyFactory
 
autoReorder(BDDFactory.ReorderMethod) - Method in class net.sf.javabdd.CALFactory
 
autoReorder(BDDFactory.ReorderMethod, int) - Method in class net.sf.javabdd.CALFactory
 
autoReorder(BDDFactory.ReorderMethod) - Method in class net.sf.javabdd.CUDDFactory
 
autoReorder(BDDFactory.ReorderMethod, int) - Method in class net.sf.javabdd.CUDDFactory
 
autoReorder(BDDFactory.ReorderMethod) - Method in class net.sf.javabdd.JDDFactory
 
autoReorder(BDDFactory.ReorderMethod, int) - Method in class net.sf.javabdd.JDDFactory
 
autoReorder(BDDFactory.ReorderMethod) - Method in class net.sf.javabdd.JFactory
 
autoReorder(BDDFactory.ReorderMethod, int) - Method in class net.sf.javabdd.JFactory
 
autoReorder(BDDFactory.ReorderMethod) - Method in class net.sf.javabdd.TestBDDFactory
 
autoReorder(BDDFactory.ReorderMethod, int) - Method in class net.sf.javabdd.TestBDDFactory
 
autoReorder(BDDFactory.ReorderMethod) - Method in class net.sf.javabdd.TypedBDDFactory
 
autoReorder(BDDFactory.ReorderMethod, int) - Method in class net.sf.javabdd.TypedBDDFactory
 

B

BDD - class net.sf.javabdd.BDD.
Binary Decision Diagrams (BDDs) are used for efficient computation of many common problems.
BDD() - Constructor for class net.sf.javabdd.BDD
Protected constructor.
BDD.BDDIterator - class net.sf.javabdd.BDD.BDDIterator.
BDDIterator is used to iterate through the satisfying assignments of a BDD.
BDD.BDDIterator(BDD, BDD) - Constructor for class net.sf.javabdd.BDD.BDDIterator
Construct a new BDDIterator on the given BDD.
BDD.BDDToString - class net.sf.javabdd.BDD.BDDToString.
BDDToString is used to specify the printing behavior of BDDs with domains.
BDD.BDDToString() - Constructor for class net.sf.javabdd.BDD.BDDToString
Protected constructor.
BDDBitVector - class net.sf.javabdd.BDDBitVector.
Bit vector implementation for BDDs.
BDDBitVector(int) - Constructor for class net.sf.javabdd.BDDBitVector
 
BDDDomain - class net.sf.javabdd.BDDDomain.
Represents a domain of BDD variables.
BDDDomain(int, BigInteger) - Constructor for class net.sf.javabdd.BDDDomain
Default constructor.
BDDException - exception net.sf.javabdd.BDDException.
An exception caused by an invalid BDD operation.
BDDException() - Constructor for class net.sf.javabdd.BDDException
 
BDDException(String) - Constructor for class net.sf.javabdd.BDDException
 
BDDFactory - class net.sf.javabdd.BDDFactory.
Interface for the creation and manipulation of BDDs.
BDDFactory() - Constructor for class net.sf.javabdd.BDDFactory
Construct a new BDDFactory.
BDDFactory.BDDOp - class net.sf.javabdd.BDDFactory.BDDOp.
Enumeration class for binary operations on BDDs.
BDDFactory.CacheStats - class net.sf.javabdd.BDDFactory.CacheStats.
Stores statistics about the operator cache.
BDDFactory.GCStats - class net.sf.javabdd.BDDFactory.GCStats.
Stores statistics about garbage collections.
BDDFactory.LoadHash - class net.sf.javabdd.BDDFactory.LoadHash.
LoadHash is used to hash during loading.
BDDFactory.LoadHash() - Constructor for class net.sf.javabdd.BDDFactory.LoadHash
 
BDDFactory.ReorderMethod - class net.sf.javabdd.BDDFactory.ReorderMethod.
Enumeration class for method reordering techniques.
BDDPairing - class net.sf.javabdd.BDDPairing.
Encodes a table of variable pairs.
BDDPairing() - Constructor for class net.sf.javabdd.BDDPairing
 
BuDDyFactory - class net.sf.javabdd.BuDDyFactory.
An implementation of BDDFactory that relies on the BuDDy library through a native interface.
biimp(BDD) - Method in class net.sf.javabdd.BDD
Returns the logical 'bi-implication' of two BDDs.
biimp - Static variable in class net.sf.javabdd.BDDFactory
Logical 'bi-implication'.
biimpWith(BDD) - Method in class net.sf.javabdd.BDD
Makes this BDD be the logical 'bi-implication' of two BDDs.
bitvec - Variable in class net.sf.javabdd.BDDBitVector
 
buildAdd(BDDDomain, long) - Method in class net.sf.javabdd.BDDDomain
 
buildAdd(BDDDomain, int, long) - Method in class net.sf.javabdd.BDDDomain
 
buildAndIncrement() - Method in class net.sf.javabdd.BDD.BDDIterator
 
buildCube(int, List) - Method in class net.sf.javabdd.BDDFactory
Build a cube from an array of variables.
buildCube(int, int[]) - Method in class net.sf.javabdd.BDDFactory
Build a cube from an array of variables.
buildCube(int, List) - Method in class net.sf.javabdd.BuDDyFactory
 
buildCube(int, int[]) - Method in class net.sf.javabdd.BuDDyFactory
 
buildEquals(BDDDomain) - Method in class net.sf.javabdd.BDDDomain
Builds a BDD which is true for all the possible assignments to the variable blocks that makes the blocks equal.
buildVector(int, boolean) - Method in class net.sf.javabdd.BDDFactory
Build a bit vector that is constant true or constant false.
buildVector(int, int, int) - Method in class net.sf.javabdd.BDDFactory
Build a bit vector using variables offset, offset+step, offset+2*step, ...
buildVector(BDDDomain) - Method in class net.sf.javabdd.BDDFactory
Build a bit vector using variables from the given BDD domain.
buildVector(int[]) - Method in class net.sf.javabdd.BDDFactory
Build a bit vector using the given variables.

C

CACHESTATS - Static variable in class net.sf.javabdd.JFactory
 
CALFactory - class net.sf.javabdd.CALFactory.
An implementation of BDDFactory that relies on the CAL library through a native interface.
CUDDFactory - class net.sf.javabdd.CUDDFactory.
An implementation of BDDFactory that relies on the CUDD library through a native interface.
cachestats - Variable in class net.sf.javabdd.BDDFactory
Singleton object for cache statistics.
cleanup() - Method in class net.sf.javabdd.FindBestOrder
 
cleanup() - Method in class net.sf.javabdd.TryVarOrder
Clean up the temporary files.
clearAllDomains() - Method in class net.sf.javabdd.BDDFactory
Clear all allocated finite domain blocks that were defined by extDomain() or overlapDomain().
clearError() - Method in class net.sf.javabdd.BDDFactory
Clears any outstanding error condition.
clearError() - Method in class net.sf.javabdd.BuDDyFactory
 
clearError() - Method in class net.sf.javabdd.CALFactory
 
clearError() - Method in class net.sf.javabdd.CUDDFactory
 
clearError() - Method in class net.sf.javabdd.JDDFactory
 
clearError() - Method in class net.sf.javabdd.JFactory
 
clearError() - Method in class net.sf.javabdd.TestBDDFactory
 
clearError() - Method in class net.sf.javabdd.TypedBDDFactory
 
clearVarBlocks() - Method in class net.sf.javabdd.BDDFactory
Clears all the variable blocks that have been defined by calls to addVarBlock.
clearVarBlocks() - Method in class net.sf.javabdd.BuDDyFactory
 
clearVarBlocks() - Method in class net.sf.javabdd.CALFactory
 
clearVarBlocks() - Method in class net.sf.javabdd.CUDDFactory
 
clearVarBlocks() - Method in class net.sf.javabdd.JDDFactory
 
clearVarBlocks() - Method in class net.sf.javabdd.JFactory
 
clearVarBlocks() - Method in class net.sf.javabdd.TestBDDFactory
 
clearVarBlocks() - Method in class net.sf.javabdd.TypedBDDFactory
 
cloneFactory() - Method in class net.sf.javabdd.JFactory
 
coerce(int) - Method in class net.sf.javabdd.BDDBitVector
 
compose(BDD, int) - Method in class net.sf.javabdd.BDD
Functional composition.
compose(BDD, int) - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDD
 
constantVector(int, long) - Method in class net.sf.javabdd.BDDFactory
Build a bit vector that corresponds to a constant value.
constantVector(int, BigInteger) - Method in class net.sf.javabdd.BDDFactory
 
constrain(BDD) - Method in class net.sf.javabdd.BDD
Generalized cofactor.
constrain(BDD) - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDD
 
copy() - Method in class net.sf.javabdd.BDDBitVector
 
copyNode(BDD) - Method in class net.sf.javabdd.JFactory
Use this function to translate BDD's from a JavaFactory into its clone.
createBitVector(int) - Method in class net.sf.javabdd.BDDFactory
Implementors must implement this factory method to create BDDBitVector objects of the correct type.
createBitVector(int) - Method in class net.sf.javabdd.BuDDyFactory
 
createBitVector(int) - Method in class net.sf.javabdd.CALFactory
 
createBitVector(int) - Method in class net.sf.javabdd.CUDDFactory
 
createBitVector(int) - Method in class net.sf.javabdd.JDDFactory
 
createBitVector(int) - Method in class net.sf.javabdd.JFactory
 
createBitVector(int) - Method in class net.sf.javabdd.TestBDDFactory
 
createBitVector(int) - Method in class net.sf.javabdd.TypedBDDFactory
 
createDomain(int, BigInteger) - Method in class net.sf.javabdd.BDDFactory
Implementors must implement this factory method to create BDDDomain objects of the correct type.
createDomain(int, BigInteger) - Method in class net.sf.javabdd.BuDDyFactory
 
createDomain(int, BigInteger) - Method in class net.sf.javabdd.CALFactory
 
createDomain(int, BigInteger) - Method in class net.sf.javabdd.CUDDFactory
 
createDomain(int, BigInteger) - Method in class net.sf.javabdd.JDDFactory
 
createDomain(int, BigInteger) - Method in class net.sf.javabdd.JFactory
 
createDomain(int, BigInteger) - Method in class net.sf.javabdd.TestBDDFactory
 
createDomain(int, BigInteger) - Method in class net.sf.javabdd.TypedBDDFactory
 

D

diff - Static variable in class net.sf.javabdd.BDDFactory
Set difference.
disableReorder() - Method in class net.sf.javabdd.BDDFactory
Disable automatic reordering until enableReorder is called.
disableReorder() - Method in class net.sf.javabdd.BuDDyFactory
 
disableReorder() - Method in class net.sf.javabdd.CALFactory
 
disableReorder() - Method in class net.sf.javabdd.CUDDFactory
 
disableReorder() - Method in class net.sf.javabdd.JDDFactory
 
disableReorder() - Method in class net.sf.javabdd.JFactory
 
disableReorder() - Method in class net.sf.javabdd.TestBDDFactory
 
disableReorder() - Method in class net.sf.javabdd.TypedBDDFactory
 
divmod(long, boolean) - Method in class net.sf.javabdd.BDDBitVector
 
doCallbacks(List, int) - Method in class net.sf.javabdd.BDDFactory
 
doIt() - Method in class net.sf.javabdd.TryVarOrder.BDDOperation
 
domain() - Method in class net.sf.javabdd.BDDDomain
Returns what corresponds to a disjunction of all possible values of this domain.
domain - Variable in class net.sf.javabdd.BDDFactory
FINITE DOMAINS
domainNames(Set) - Static method in class net.sf.javabdd.TypedBDDFactory
 
domain_comparator - Static variable in class net.sf.javabdd.TypedBDDFactory
 
done() - Method in class net.sf.javabdd.BDDFactory
This function frees all memory used by the BDD package and resets the package to its uninitialized state.
done() - Method in class net.sf.javabdd.BuDDyFactory
 
done() - Method in class net.sf.javabdd.CALFactory
 
done() - Method in class net.sf.javabdd.CUDDFactory
 
done() - Method in class net.sf.javabdd.JDDFactory
 
done() - Method in class net.sf.javabdd.JFactory
 
done() - Method in class net.sf.javabdd.TestBDDFactory
 
done() - Method in class net.sf.javabdd.TypedBDDFactory
 

E

elementName(int, BigInteger) - Method in class net.sf.javabdd.BDD.BDDToString
Given a domain index and an element index, return the element's name.
elementNames(int, BigInteger, BigInteger) - Method in class net.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 net.sf.javabdd.BDDFactory
Enable automatic reordering after a call to disableReorder.
enableReorder() - Method in class net.sf.javabdd.BuDDyFactory
 
enableReorder() - Method in class net.sf.javabdd.CALFactory
 
enableReorder() - Method in class net.sf.javabdd.CUDDFactory
 
enableReorder() - Method in class net.sf.javabdd.JDDFactory
 
enableReorder() - Method in class net.sf.javabdd.JFactory
 
enableReorder() - Method in class net.sf.javabdd.TestBDDFactory
 
enableReorder() - Method in class net.sf.javabdd.TypedBDDFactory
 
equals(BDD) - Method in class net.sf.javabdd.BDD
Returns true if this BDD equals that BDD, false otherwise.
equals(Object) - Method in class net.sf.javabdd.BDD
 
equals(BDD) - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDD
 
exist(BDD) - Method in class net.sf.javabdd.BDD
Existential quantification of variables.
exist(BDD) - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDD
 
extDomain(long) - Method in class net.sf.javabdd.BDDFactory
Creates a new finite domain block of the given size.
extDomain(BigInteger) - Method in class net.sf.javabdd.BDDFactory
 
extDomain(int[]) - Method in class net.sf.javabdd.BDDFactory
Extends the set of finite domain blocks with domains of the given sizes.
extDomain(long[]) - Method in class net.sf.javabdd.BDDFactory
 
extDomain(BigInteger[]) - Method in class net.sf.javabdd.BDDFactory
 
extDomain(long[]) - Method in class net.sf.javabdd.TypedBDDFactory
 
extVarNum(int) - Method in class net.sf.javabdd.BDDFactory
Add extra BDD variables.
extVarNum(int) - Method in class net.sf.javabdd.BuDDyFactory
 

F

FindBestOrder - class net.sf.javabdd.FindBestOrder.
FindBestOrder
FindBestOrder(int, int, int, long, long) - Constructor for class net.sf.javabdd.FindBestOrder
 
FindBestOrder.TryThread - class net.sf.javabdd.FindBestOrder.TryThread.
 
FindBestOrder.TryThread() - Constructor for class net.sf.javabdd.FindBestOrder.TryThread
 
factory - Variable in class net.sf.javabdd.BDD.BDDIterator
 
fastForward(int) - Method in class net.sf.javabdd.BDD.BDDIterator
Fast-forward the iteration such that the given variable number is true.
fastForward0(int) - Method in class net.sf.javabdd.BDD.BDDIterator
 
fdvarnum - Variable in class net.sf.javabdd.BDDFactory
 
fillInSatisfyingAssignment(BDD, int) - Method in class net.sf.javabdd.BDD.BDDIterator
 
finalize() - Method in class net.sf.javabdd.BDDFactory
 
findClass(String) - Method in class net.sf.javabdd.HijackingClassLoader
 
findNextSatisfyingAssignment() - Method in class net.sf.javabdd.BDD.BDDIterator
 
firstbddvar - Variable in class net.sf.javabdd.BDDFactory
 
forAll(BDD) - Method in class net.sf.javabdd.BDD
Universal quantification of variables.
forAll(BDD) - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDD
 
free() - Method in class net.sf.javabdd.BDD.BDDIterator
 
free() - Method in class net.sf.javabdd.BDD
Frees this BDD.
free() - Method in class net.sf.javabdd.BDDBitVector
 
free() - Method in class net.sf.javabdd.TryVarOrder.BDDOperation
 
free() - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDD
 
freenodes - Variable in class net.sf.javabdd.BDDFactory.GCStats
 
fullSatOne() - Method in class net.sf.javabdd.BDD
Finds one satisfying variable assignment.
fullSatOne() - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDD
 

G

gc_callbacks - Variable in class net.sf.javabdd.BDDFactory
CALLBACKS
gcstats - Variable in class net.sf.javabdd.BDDFactory
Singleton object for GC statistics.
getBestOrder() - Method in class net.sf.javabdd.FindBestOrder
 
getBestOrder() - Method in class net.sf.javabdd.TryVarOrder
 
getBestTime() - Method in class net.sf.javabdd.FindBestOrder
 
getBestTime() - Method in class net.sf.javabdd.TryVarOrder
 
getBit(int) - Method in class net.sf.javabdd.BDDBitVector
 
getCacheSize() - Method in class net.sf.javabdd.BDDFactory
Get the current size of the cache, in entries.
getCacheSize() - Method in class net.sf.javabdd.BuDDyFactory
 
getCacheSize() - Method in class net.sf.javabdd.CALFactory
 
getCacheSize() - Method in class net.sf.javabdd.CUDDFactory
 
getCacheSize() - Method in class net.sf.javabdd.JDDFactory
 
getCacheSize() - Method in class net.sf.javabdd.JFactory
 
getCacheSize() - Method in class net.sf.javabdd.TestBDDFactory
 
getCacheSize() - Method in class net.sf.javabdd.TypedBDDFactory
 
getDomain(int) - Method in class net.sf.javabdd.BDDFactory
Returns the ith finite domain block, as defined by calls to extDomain().
getDomainSet() - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDD
Returns the set of domains that this BDD uses.
getFactory() - Method in class net.sf.javabdd.BDD
Returns the factory that created this BDD.
getFactory() - Method in class net.sf.javabdd.BDDBitVector
 
getFactory() - Method in class net.sf.javabdd.BDDDomain
Returns the factory that created this domain.
getFactory() - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDD
 
getFileURL(String) - Static method in class net.sf.javabdd.HijackingClassLoader
 
getGCStats() - Method in class net.sf.javabdd.BDDFactory
Return the current GC statistics.
getIndex() - Method in class net.sf.javabdd.BDDDomain
Returns the index of this domain.
getName() - Method in class net.sf.javabdd.BDDDomain
Gets the name of this domain.
getNodeNum() - Method in class net.sf.javabdd.BDDFactory
Get the number of active nodes in use.
getNodeNum() - Method in class net.sf.javabdd.BuDDyFactory
 
getNodeNum() - Method in class net.sf.javabdd.CALFactory
 
getNodeNum() - Method in class net.sf.javabdd.CUDDFactory
 
getNodeNum() - Method in class net.sf.javabdd.JDDFactory
 
getNodeNum() - Method in class net.sf.javabdd.JFactory
 
getNodeNum() - Method in class net.sf.javabdd.TestBDDFactory
 
getNodeNum() - Method in class net.sf.javabdd.TypedBDDFactory
 
getNodeTableSize() - Method in class net.sf.javabdd.BDDFactory
Get the number of allocated nodes.
getNodeTableSize() - Method in class net.sf.javabdd.BuDDyFactory
 
getNodeTableSize() - Method in class net.sf.javabdd.CALFactory
 
getNodeTableSize() - Method in class net.sf.javabdd.CUDDFactory
 
getNodeTableSize() - Method in class net.sf.javabdd.JDDFactory
 
getNodeTableSize() - Method in class net.sf.javabdd.JFactory
 
getNodeTableSize() - Method in class net.sf.javabdd.TestBDDFactory
 
getNodeTableSize() - Method in class net.sf.javabdd.TypedBDDFactory
 
getReorderMethod() - Method in class net.sf.javabdd.BDDFactory
Returns the current reorder method as defined by autoReorder.
getReorderMethod() - Method in class net.sf.javabdd.BuDDyFactory
 
getReorderMethod() - Method in class net.sf.javabdd.CALFactory
 
getReorderMethod() - Method in class net.sf.javabdd.CUDDFactory
 
getReorderMethod() - Method in class net.sf.javabdd.JDDFactory
 
getReorderMethod() - Method in class net.sf.javabdd.JFactory
 
getReorderMethod() - Method in class net.sf.javabdd.TestBDDFactory
 
getReorderMethod() - Method in class net.sf.javabdd.TypedBDDFactory
 
getReorderTimes() - Method in class net.sf.javabdd.BDDFactory
Returns the number of allowed reorderings left.
getReorderTimes() - Method in class net.sf.javabdd.BuDDyFactory
 
getReorderTimes() - Method in class net.sf.javabdd.CALFactory
 
getReorderTimes() - Method in class net.sf.javabdd.CUDDFactory
 
getReorderTimes() - Method in class net.sf.javabdd.JDDFactory
 
getReorderTimes() - Method in class net.sf.javabdd.JFactory
 
getReorderTimes() - Method in class net.sf.javabdd.TestBDDFactory
 
getReorderTimes() - Method in class net.sf.javabdd.TypedBDDFactory
 
getVarIndices(BDD) - Method in class net.sf.javabdd.BDDDomain
Convert a BDD that to a list of indices of this domain.
getVarIndices(BDD, int) - Method in class net.sf.javabdd.BDDDomain
Convert a BDD that to a list of indices of this domain.
getVersion() - Method in class net.sf.javabdd.BDDFactory
Get the BDD library version.
getVersion() - Method in class net.sf.javabdd.BuDDyFactory
 
getVersion() - Method in class net.sf.javabdd.CALFactory
 
getVersion() - Method in class net.sf.javabdd.CUDDFactory
 
getVersion() - Method in class net.sf.javabdd.JDDFactory
 
getVersion() - Method in class net.sf.javabdd.JFactory
 
getVersion() - Method in class net.sf.javabdd.TestBDDFactory
 
getVersion() - Method in class net.sf.javabdd.TypedBDDFactory
 

H

HijackingClassLoader - class net.sf.javabdd.HijackingClassLoader.
A special classloader that allows you to hijack all of the classes and load them from your list of URLs.
HijackingClassLoader(URL[], ClassLoader) - Constructor for class net.sf.javabdd.HijackingClassLoader
 
HijackingClassLoader(URL[]) - Constructor for class net.sf.javabdd.HijackingClassLoader
 
HijackingClassLoader(URL[], ClassLoader, URLStreamHandlerFactory) - Constructor for class net.sf.javabdd.HijackingClassLoader
 
hasNext() - Method in class net.sf.javabdd.BDD.BDDIterator
 
hashCode() - Method in class net.sf.javabdd.BDD
 
hashCode() - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDD
 
high() - Method in class net.sf.javabdd.BDD
Gets the true branch of this BDD.
high() - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDD
 

I

INSTANCE - Static variable in class net.sf.javabdd.BDD.BDDToString
Singleton instance that does the default behavior: domains and elements are printed as their numbers.
id() - Method in class net.sf.javabdd.BDD
Identity function.
id() - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDD
 
imp(BDD) - Method in class net.sf.javabdd.BDD
Returns the logical 'implication' of two BDDs.
imp - Static variable in class net.sf.javabdd.BDDFactory
Logical 'implication'.
impWith(BDD) - Method in class net.sf.javabdd.BDD
Makes this BDD be the logical 'implication' of two BDDs.
increment() - Method in class net.sf.javabdd.BDD.BDDIterator
 
index - Variable in class net.sf.javabdd.BDDDomain
 
init(int, int) - Static method in class net.sf.javabdd.BDDFactory
Initializes a BDD factory with the given initial node table size and operation cache size.
init(String, int, int) - Static method in class net.sf.javabdd.BDDFactory
Initializes a BDD factory of the given type with the given initial node table size and operation cache size.
init(int, int) - Static method in class net.sf.javabdd.BuDDyFactory
 
init(int, int) - Static method in class net.sf.javabdd.CALFactory
 
init(int, int) - Static method in class net.sf.javabdd.CUDDFactory
 
init(BDD, BDD, BDD, BDDFactory.BDDOp) - Method in class net.sf.javabdd.FindBestOrder
 
init(int, int) - Static method in class net.sf.javabdd.JDDFactory
 
init(int, int) - Static method in class net.sf.javabdd.JFactory
 
init(int, int) - Static method in class net.sf.javabdd.TestBDDFactory
 
init(BDD, BDD, BDD, BDDFactory.BDDOp) - Method in class net.sf.javabdd.TryVarOrder
Initialize for a new trial.
init(int, int) - Static method in class net.sf.javabdd.TypedBDDFactory
 
initialize(boolean) - Method in class net.sf.javabdd.BDDBitVector
 
initialize(int) - Method in class net.sf.javabdd.BDDBitVector
 
initialize(long) - Method in class net.sf.javabdd.BDDBitVector
 
initialize(BigInteger) - Method in class net.sf.javabdd.BDDBitVector
 
initialize(int, int) - Method in class net.sf.javabdd.BDDBitVector
 
initialize(BDDDomain) - Method in class net.sf.javabdd.BDDBitVector
 
initialize(int[]) - Method in class net.sf.javabdd.BDDBitVector
 
initialize(int, int) - Method in class net.sf.javabdd.BDDFactory
Compare to bdd_init.
initialize(int, int) - Method in class net.sf.javabdd.BuDDyFactory
 
initialize(int, int) - Method in class net.sf.javabdd.CALFactory
 
initialize(int, int) - Method in class net.sf.javabdd.CUDDFactory
 
initialize(int, int) - Method in class net.sf.javabdd.JDDFactory
 
initialize(int, int) - Method in class net.sf.javabdd.JFactory
 
initialize(int, int) - Method in class net.sf.javabdd.TestBDDFactory
 
initialize(int, int) - Method in class net.sf.javabdd.TypedBDDFactory
 
invimp - Static variable in class net.sf.javabdd.BDDFactory
Inverse implication.
isConst() - Method in class net.sf.javabdd.BDDBitVector
 
isDontCare(int) - Method in class net.sf.javabdd.BDD.BDDIterator
Returns true if the given BDD variable number is a dont-care.
isDontCare(BDDDomain) - Method in class net.sf.javabdd.BDD.BDDIterator
Returns true if the BDD variables in the given BDD domain are all dont-care's.
isInitialized() - Method in class net.sf.javabdd.BDDFactory
Returns true if this BDD factory is initialized, false otherwise.
isInitialized() - Method in class net.sf.javabdd.BuDDyFactory
 
isInitialized() - Method in class net.sf.javabdd.CALFactory
 
isInitialized() - Method in class net.sf.javabdd.CUDDFactory
 
isInitialized() - Method in class net.sf.javabdd.JDDFactory
 
isInitialized() - Method in class net.sf.javabdd.JFactory
 
isInitialized() - Method in class net.sf.javabdd.TestBDDFactory
 
isInitialized() - Method in class net.sf.javabdd.TypedBDDFactory
 
isOne() - Method in class net.sf.javabdd.BDD
Returns true if this BDD is the one (true) BDD.
isOne() - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDD
 
isZero() - Method in class net.sf.javabdd.BDD
Returns true if this BDD is the zero (false) BDD.
isZero() - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDD
 
ite(BDD, BDD) - Method in class net.sf.javabdd.BDD
if-then-else operator.
ite(BDD, BDD) - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDD
 
iterator(BDD) - Method in class net.sf.javabdd.BDD
Returns an iteration of the satisfying assignments of this BDD.
iterator(BDD) - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDD
 
iterator() - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDD
 
iterator2(BDD) - Method in class net.sf.javabdd.BDD
This is another version of iterator() that supports the remove() operation.
ithVar(long) - Method in class net.sf.javabdd.BDDDomain
Returns the BDD that defines the given value for this finite domain block.
ithVar(BigInteger) - Method in class net.sf.javabdd.BDDDomain
 
ithVar(int) - Method in class net.sf.javabdd.BDDFactory
Returns a BDD representing the I'th variable.
ithVar(int) - Method in class net.sf.javabdd.BuDDyFactory
 
ithVar(int) - Method in class net.sf.javabdd.CALFactory
 
ithVar(int) - Method in class net.sf.javabdd.CUDDFactory
 
ithVar(int) - Method in class net.sf.javabdd.JDDFactory
 
ithVar(int) - Method in class net.sf.javabdd.JFactory
 
ithVar(int) - Method in class net.sf.javabdd.TestBDDFactory
 
ithVar(int) - Method in class net.sf.javabdd.TypedBDDFactory
 
ivar - Variable in class net.sf.javabdd.BDDDomain
 

J

JDDFactory - class net.sf.javabdd.JDDFactory.
JDDFactory
JFactory - class net.sf.javabdd.JFactory.
This is a 100% Java implementation of the BDD factory.

L

less - Static variable in class net.sf.javabdd.BDDFactory
Less than.
level() - Method in class net.sf.javabdd.BDD
Gets the level of this BDD.
level2Var(int) - Method in class net.sf.javabdd.BDDFactory
Convert from a BDD level to a BDD variable.
level2Var(int) - Method in class net.sf.javabdd.BuDDyFactory
 
level2Var(int) - Method in class net.sf.javabdd.CALFactory
 
level2Var(int) - Method in class net.sf.javabdd.CUDDFactory
 
level2Var(int) - Method in class net.sf.javabdd.JDDFactory
 
level2Var(int) - Method in class net.sf.javabdd.JFactory
 
level2Var(int) - Method in class net.sf.javabdd.TestBDDFactory
 
level2Var(int) - Method in class net.sf.javabdd.TypedBDDFactory
 
levels - Variable in class net.sf.javabdd.BDD.BDDIterator
 
load(String) - Method in class net.sf.javabdd.BDDFactory
Loads a BDD from a file.
load(BufferedReader) - Method in class net.sf.javabdd.BDDFactory
Loads a BDD from the given input.
load(String) - Method in class net.sf.javabdd.BuDDyFactory
 
load(BufferedReader) - Method in class net.sf.javabdd.JFactory
 
load(String) - Method in class net.sf.javabdd.TestBDDFactory
 
load() - Method in class net.sf.javabdd.TryVarOrder.BDDOperation
 
load(String) - Method in class net.sf.javabdd.TypedBDDFactory
 
loadClass(String, boolean) - Method in class net.sf.javabdd.HijackingClassLoader
 
loadhash_get(BDDFactory.LoadHash[], int, int) - Method in class net.sf.javabdd.BDDFactory
Gets a BDD from the load hash table.
logSatCount() - Method in class net.sf.javabdd.BDD
Calculates the logarithm of the number of satisfying variable assignments.
logSatCount(BDD) - Method in class net.sf.javabdd.BDD
Calculates the logarithm of the number of satisfying variable assignments to the variables in the given varset.
low() - Method in class net.sf.javabdd.BDD
Gets the false branch of this BDD.
low() - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDD
 

M

main(String[]) - Static method in class net.sf.javabdd.CUDDFactory
 
makeClassLoader() - Static method in class net.sf.javabdd.HijackingClassLoader
 
makeMap() - Static method in class net.sf.javabdd.TypedBDDFactory
 
makePair() - Method in class net.sf.javabdd.BDDFactory
Make a new BDDPairing object.
makePair(int, int) - Method in class net.sf.javabdd.BDDFactory
Make a new pairing that maps from one variable to another.
makePair(int, BDD) - Method in class net.sf.javabdd.BDDFactory
Make a new pairing that maps from one variable to another BDD.
makePair(BDDDomain, BDDDomain) - Method in class net.sf.javabdd.BDDFactory
Make a new pairing that maps from one BDD domain to another.
makePair() - Method in class net.sf.javabdd.BuDDyFactory
 
makePair() - Method in class net.sf.javabdd.CALFactory
 
makePair() - Method in class net.sf.javabdd.CUDDFactory
 
makePair() - Method in class net.sf.javabdd.JDDFactory
 
makePair() - Method in class net.sf.javabdd.JFactory
 
makePair() - Method in class net.sf.javabdd.TestBDDFactory
 
makePair() - Method in class net.sf.javabdd.TypedBDDFactory
 
makeSet(int[]) - Method in class net.sf.javabdd.BDDFactory
Builds a BDD variable set from an integer array.
makeSet(BDDDomain[]) - Method in class net.sf.javabdd.BDDFactory
Returns a BDD defining all the variable sets used to define the variable blocks in the given array.
makeSet(int[]) - Method in class net.sf.javabdd.BuDDyFactory
 
makeSet() - Static method in class net.sf.javabdd.TypedBDDFactory
 
makeSet(Set) - Static method in class net.sf.javabdd.TypedBDDFactory
 
makeVarOrdering(boolean, String) - Method in class net.sf.javabdd.BDDFactory
Creates a variable ordering from a string.
map2(BDDBitVector, BDDFactory.BDDOp) - Method in class net.sf.javabdd.BDDBitVector
 
more - Variable in class net.sf.javabdd.BDD.BDDIterator
 

N

name - Variable in class net.sf.javabdd.BDDDomain
 
nand - Static variable in class net.sf.javabdd.BDDFactory
Logical 'nand'.
net.sf.javabdd - package net.sf.javabdd
 
next() - Method in class net.sf.javabdd.BDD.BDDIterator
 
nithVar(int) - Method in class net.sf.javabdd.BDDFactory
Returns a BDD representing the negation of the I'th variable.
nithVar(int) - Method in class net.sf.javabdd.BuDDyFactory
 
nithVar(int) - Method in class net.sf.javabdd.CALFactory
 
nithVar(int) - Method in class net.sf.javabdd.CUDDFactory
 
nithVar(int) - Method in class net.sf.javabdd.JDDFactory
 
nithVar(int) - Method in class net.sf.javabdd.JFactory
 
nithVar(int) - Method in class net.sf.javabdd.TestBDDFactory
 
nithVar(int) - Method in class net.sf.javabdd.TypedBDDFactory
 
nodeCount() - Method in class net.sf.javabdd.BDD
Counts the number of distinct nodes used for this BDD.
nodeCount(Collection) - Method in class net.sf.javabdd.BDDFactory
Counts the number of shared nodes in a collection of BDDs.
nodeCount(Collection) - Method in class net.sf.javabdd.BuDDyFactory
 
nodeCount(Collection) - Method in class net.sf.javabdd.CALFactory
 
nodeCount(Collection) - Method in class net.sf.javabdd.CUDDFactory
 
nodeCount(Collection) - Method in class net.sf.javabdd.JDDFactory
 
nodeCount(Collection) - Method in class net.sf.javabdd.JFactory
 
nodeCount(Collection) - Method in class net.sf.javabdd.TestBDDFactory
 
nodeCount() - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDD
 
nodeCount(Collection) - Method in class net.sf.javabdd.TypedBDDFactory
 
nodes - Variable in class net.sf.javabdd.BDD.BDDIterator
 
nodes - Variable in class net.sf.javabdd.BDDFactory.GCStats
 
nor - Static variable in class net.sf.javabdd.BDDFactory
Logical 'nor'.
not() - Method in class net.sf.javabdd.BDD
Negates this BDD by exchanging all references to the zero-terminal with references to the one-terminal and vice-versa.
not() - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDD
 
num - Variable in class net.sf.javabdd.BDDFactory.GCStats
 
numberOfDomains() - Method in class net.sf.javabdd.BDDFactory
Returns the number of finite domain blocks defined by calls to extDomain().

O

one() - Method in class net.sf.javabdd.BDDFactory
Get the constant true BDD.
one() - Method in class net.sf.javabdd.BuDDyFactory
 
one() - Method in class net.sf.javabdd.CALFactory
 
one() - Method in class net.sf.javabdd.CUDDFactory
 
one() - Method in class net.sf.javabdd.JDDFactory
 
one() - Method in class net.sf.javabdd.JFactory
 
one() - Method in class net.sf.javabdd.TestBDDFactory
 
one() - Method in class net.sf.javabdd.TypedBDDFactory
 
opHit - Variable in class net.sf.javabdd.BDDFactory.CacheStats
 
opMiss - Variable in class net.sf.javabdd.BDDFactory.CacheStats
 
or(BDD) - Method in class net.sf.javabdd.BDD
Returns the logical 'or' of two BDDs.
or - Static variable in class net.sf.javabdd.BDDFactory
Logical 'or'.
orWith(BDD) - Method in class net.sf.javabdd.BDD
Makes this BDD be the logical 'or' of two BDDs.
overlapDomain(BDDDomain, BDDDomain) - Method in class net.sf.javabdd.BDDFactory
This function takes two finite domain blocks and merges them into a new one, such that the new one is encoded using both sets of BDD variables.

P

pathCount() - Method in class net.sf.javabdd.BDD
Counts the number of paths leading to the true terminal.
pathCount() - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDD
 
printAll() - Method in class net.sf.javabdd.BDDFactory
Prints all used entries in the node table.
printAll() - Method in class net.sf.javabdd.BuDDyFactory
 
printAll() - Method in class net.sf.javabdd.CALFactory
 
printAll() - Method in class net.sf.javabdd.CUDDFactory
 
printAll() - Method in class net.sf.javabdd.JDDFactory
 
printAll() - Method in class net.sf.javabdd.JFactory
 
printAll() - Method in class net.sf.javabdd.TestBDDFactory
 
printAll() - Method in class net.sf.javabdd.TypedBDDFactory
 
printDot() - Method in class net.sf.javabdd.BDD
Prints this BDD in dot graph notation.
printOrder() - Method in class net.sf.javabdd.BDDFactory
Prints an indented list of the variable blocks.
printOrder() - Method in class net.sf.javabdd.BuDDyFactory
 
printOrder() - Method in class net.sf.javabdd.CALFactory
 
printOrder() - Method in class net.sf.javabdd.CUDDFactory
 
printOrder() - Method in class net.sf.javabdd.JDDFactory
 
printOrder() - Method in class net.sf.javabdd.JFactory
 
printOrder() - Method in class net.sf.javabdd.TestBDDFactory
 
printOrder() - Method in class net.sf.javabdd.TypedBDDFactory
 
printSet() - Method in class net.sf.javabdd.BDD
Prints the set of truth assignments specified by this BDD.
printSetWithDomains() - Method in class net.sf.javabdd.BDD
Prints this BDD using a set notation as in printSet() but with the index of the finite domain blocks included instead of the BDD variables.
printStat() - Method in class net.sf.javabdd.BDDFactory
Print cache statistics.
printStat() - Method in class net.sf.javabdd.BuDDyFactory
 
printStat() - Method in class net.sf.javabdd.CALFactory
 
printStat() - Method in class net.sf.javabdd.CUDDFactory
 
printStat() - Method in class net.sf.javabdd.JDDFactory
 
printStat() - Method in class net.sf.javabdd.JFactory
 
printStat() - Method in class net.sf.javabdd.TestBDDFactory
 
printStat() - Method in class net.sf.javabdd.TypedBDDFactory
 
printTable(BDD) - Method in class net.sf.javabdd.BDDFactory
Prints the node table entries used by a BDD.
printTable(BDD) - Method in class net.sf.javabdd.BuDDyFactory
 
printTable(BDD) - Method in class net.sf.javabdd.CALFactory
 
printTable(BDD) - Method in class net.sf.javabdd.CUDDFactory
 
printTable(BDD) - Method in class net.sf.javabdd.JDDFactory
 
printTable(BDD) - Method in class net.sf.javabdd.JFactory
 
printTable(BDD) - Method in class net.sf.javabdd.TestBDDFactory
 
printTable(BDD) - Method in class net.sf.javabdd.TypedBDDFactory
 
printdot_rec(PrintStream, int, boolean[], HashMap) - Method in class net.sf.javabdd.BDD
 

R

REORDER_NONE - Static variable in class net.sf.javabdd.BDDFactory
No reordering.
REORDER_RANDOM - Static variable in class net.sf.javabdd.BDDFactory
Selects a random position for each variable.
REORDER_SIFT - Static variable in class net.sf.javabdd.BDDFactory
Reordering where each block is moved through all possible positions.
REORDER_SIFTITE - Static variable in class net.sf.javabdd.BDDFactory
Same as REORDER_SIFT, but the process is repeated until no further progress is done.
REORDER_WIN2 - Static variable in class net.sf.javabdd.BDDFactory
Reordering using a sliding window of 2.
REORDER_WIN2ITE - Static variable in class net.sf.javabdd.BDDFactory
Reordering using a sliding window of 2, iterating until no further progress.
REORDER_WIN3 - Static variable in class net.sf.javabdd.BDDFactory
Reordering using a sliding window of 3.
REORDER_WIN3ITE - Static variable in class net.sf.javabdd.BDDFactory
Reordering using a sliding window of 3, iterating until no further progress.
REVISION - Static variable in class net.sf.javabdd.BuDDyFactory
 
REVISION - Static variable in class net.sf.javabdd.CALFactory
 
REVISION - Static variable in class net.sf.javabdd.CUDDFactory
 
REVISION - Static variable in class net.sf.javabdd.JDDFactory
 
REVISION - Static variable in class net.sf.javabdd.JFactory
 
REVISION - Static variable in class net.sf.javabdd.TestBDDFactory
 
REVISION - Static variable in class net.sf.javabdd.TypedBDDFactory
 
readBDDConfig(BDDFactory) - Method in class net.sf.javabdd.FindBestOrder.TryThread
 
readNext(BufferedReader) - Method in class net.sf.javabdd.BDDFactory
Read the next token from the file.
realsize - Variable in class net.sf.javabdd.BDDDomain
 
registerCallback(List, Object, Method) - Method in class net.sf.javabdd.BDDFactory
 
registerGCCallback(Object, Method) - Method in class net.sf.javabdd.BDDFactory
Register a callback that is called when garbage collection is about to occur.
registerReorderCallback(Object, Method) - Method in class net.sf.javabdd.BDDFactory
Register a callback that is called when reordering is about to occur.
registerResizeCallback(Object, Method) - Method in class net.sf.javabdd.BDDFactory
Register a callback that is called when node table resizing is about to occur.
relprod(BDD, BDD) - Method in class net.sf.javabdd.BDD
Relational product.
relprod(BDD, BDD) - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDD
 
remove() - Method in class net.sf.javabdd.BDD.BDDIterator
 
reorder(BDDFactory.ReorderMethod) - Method in class net.sf.javabdd.BDDFactory
Reorder the BDD with the given method.
reorder(BDDFactory.ReorderMethod) - Method in class net.sf.javabdd.BuDDyFactory
 
reorder(BDDFactory.ReorderMethod) - Method in class net.sf.javabdd.CALFactory
 
reorder(BDDFactory.ReorderMethod) - Method in class net.sf.javabdd.CUDDFactory
 
reorder(BDDFactory.ReorderMethod) - Method in class net.sf.javabdd.JDDFactory
 
reorder(BDDFactory.ReorderMethod) - Method in class net.sf.javabdd.JFactory
 
reorder(BDDFactory.ReorderMethod) - Method in class net.sf.javabdd.TestBDDFactory
 
reorder(BDDFactory.ReorderMethod) - Method in class net.sf.javabdd.TypedBDDFactory
 
reorderGain() - Method in class net.sf.javabdd.BDDFactory
Calculate the gain in size after a reordering.
reorderGain() - Method in class net.sf.javabdd.BuDDyFactory
 
reorderGain() - Method in class net.sf.javabdd.CALFactory
 
reorderGain() - Method in class net.sf.javabdd.CUDDFactory
 
reorderGain() - Method in class net.sf.javabdd.JDDFactory
 
reorderGain() - Method in class net.sf.javabdd.JFactory
 
reorderGain() - Method in class net.sf.javabdd.TestBDDFactory
 
reorderGain() - Method in class net.sf.javabdd.TypedBDDFactory
 
reorderVerbose(int) - Method in class net.sf.javabdd.BDDFactory
Enables verbose information about reordering.
reorderVerbose(int) - Method in class net.sf.javabdd.BuDDyFactory
 
reorderVerbose(int) - Method in class net.sf.javabdd.CALFactory
 
reorderVerbose(int) - Method in class net.sf.javabdd.CUDDFactory
 
reorderVerbose(int) - Method in class net.sf.javabdd.JDDFactory
 
reorderVerbose(int) - Method in class net.sf.javabdd.JFactory
 
reorderVerbose(int) - Method in class net.sf.javabdd.TestBDDFactory
 
reorderVerbose(int) - Method in class net.sf.javabdd.TypedBDDFactory
 
reorder_callbacks - Variable in class net.sf.javabdd.BDDFactory
CALLBACKS
replace(BDDPairing) - Method in class net.sf.javabdd.BDD
Returns a BDD where all variables are replaced with the variables defined by pair.
replace(BDDPairing) - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDD
 
replaceWith(BDDPairing) - Method in class net.sf.javabdd.BDD
Replaces all variables in this BDD with the variables defined by pair.
replaceWith(BDDBitVector) - Method in class net.sf.javabdd.BDDBitVector
 
replaceWith(BDDPairing) - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDD
 
reset() - Method in class net.sf.javabdd.BDDFactory
Reset the BDD factory to its initial state.
reset() - Method in class net.sf.javabdd.BDDPairing
Resets this table of pairs by setting all substitutions to their default values (that is, no change).
reset() - Method in class net.sf.javabdd.BuDDyFactory
 
resize_callbacks - Variable in class net.sf.javabdd.BDDFactory
CALLBACKS
restrict(BDD) - Method in class net.sf.javabdd.BDD
Restrict a set of variables to constant values.
restrict(BDD) - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDD
 
restrictWith(BDD) - Method in class net.sf.javabdd.BDD
Mutates this BDD to restrict a set of variables to constant values.
restrictWith(BDD) - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDD
 
run() - Method in class net.sf.javabdd.FindBestOrder.TryThread
 
run() - Method in class net.sf.javabdd.TryVarOrder.TryThread
 

S

SWAPCOUNT - Static variable in class net.sf.javabdd.JFactory
 
satCount() - Method in class net.sf.javabdd.BDD
Calculates the number of satisfying variable assignments.
satCount(BDD) - Method in class net.sf.javabdd.BDD
Calculates the number of satisfying variable assignments to the variables in the given varset.
satCount() - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDD
 
satCount(BDD) - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDD
 
satOne() - Method in class net.sf.javabdd.BDD
Finds one satisfying variable assignment.
satOne(BDD, boolean) - Method in class net.sf.javabdd.BDD
Finds one satisfying variable assignment.
satOne() - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDD
 
satOne(BDD, boolean) - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDD
 
save(String, BDD) - Method in class net.sf.javabdd.BDDFactory
Saves a BDD to a file.
save(BufferedWriter, BDD) - Method in class net.sf.javabdd.BDDFactory
Saves a BDD to an output writer.
save(String, BDD) - Method in class net.sf.javabdd.BuDDyFactory
 
save(BufferedWriter, BDD) - Method in class net.sf.javabdd.JFactory
 
save(String, BDD) - Method in class net.sf.javabdd.TestBDDFactory
 
save(String, BDD) - Method in class net.sf.javabdd.TypedBDDFactory
 
save_rec(BufferedWriter, Map, BDD) - Method in class net.sf.javabdd.BDDFactory
Helper function for save().
scanAllVar() - Method in class net.sf.javabdd.BDD
Finds one satisfying assignment in this BDD of all the defined BDDDomain's.
scanSet() - Method in class net.sf.javabdd.BDD
Scans this BDD to find all occurrences of BDD variables and returns an array that contains the indices of the possible found BDD variables.
scanSetDomains() - Method in class net.sf.javabdd.BDD
Scans this BDD and copies the stored variables into a integer array of BDDDomain variable numbers.
scanVar(BDDDomain) - Method in class net.sf.javabdd.BDD
Finds one satisfying assignment of the domain d in this BDD and returns that value.
set() - Method in class net.sf.javabdd.BDDDomain
Returns the variable set that contains the variables used to define this finite domain block.
set(int, int) - Method in class net.sf.javabdd.BDDPairing
Adds the pair (oldvar, newvar) to this table of pairs.
set(int[], int[]) - Method in class net.sf.javabdd.BDDPairing
Like set(), but with a whole list of pairs.
set(int, BDD) - Method in class net.sf.javabdd.BDDPairing
Adds the pair (oldvar, newvar) to this table of pairs.
set(int[], BDD[]) - Method in class net.sf.javabdd.BDDPairing
Like set(), but with a whole list of pairs.
set(BDDDomain, BDDDomain) - Method in class net.sf.javabdd.BDDPairing
Defines each variable in the finite domain block p1 to be paired with the corresponding variable in p2.
set(BDDDomain[], BDDDomain[]) - Method in class net.sf.javabdd.BDDPairing
Like set(), but with a whole list of pairs.
setCacheRatio(double) - Method in class net.sf.javabdd.BDDFactory
Sets the cache ratio for the operator caches.
setCacheRatio(double) - Method in class net.sf.javabdd.BuDDyFactory
 
setCacheRatio(double) - Method in class net.sf.javabdd.CALFactory
 
setCacheRatio(double) - Method in class net.sf.javabdd.CUDDFactory
 
setCacheRatio(double) - Method in class net.sf.javabdd.JDDFactory
 
setCacheRatio(double) - Method in class net.sf.javabdd.JFactory
 
setCacheRatio(double) - Method in class net.sf.javabdd.TestBDDFactory
 
setCacheRatio(double) - Method in class net.sf.javabdd.TypedBDDFactory
 
setCacheSize(int) - Method in class net.sf.javabdd.BDDFactory
Sets cache size.
setCacheSize(int) - Method in class net.sf.javabdd.BuDDyFactory
 
setCacheSize(int) - Method in class net.sf.javabdd.CALFactory
 
setCacheSize(int) - Method in class net.sf.javabdd.CUDDFactory
 
setCacheSize(int) - Method in class net.sf.javabdd.JDDFactory
 
setCacheSize(int) - Method in class net.sf.javabdd.JFactory
 
setCacheSize(int) - Method in class net.sf.javabdd.TestBDDFactory
 
setCacheSize(int) - Method in class net.sf.javabdd.TypedBDDFactory
 
setDomains(Set) - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDD
Changes this BDD's domains to be the given set.
setDomains(BDDDomain) - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDD
Changes this BDD's domain to be the given domain.
setDomains(BDDDomain, BDDDomain) - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDD
Changes this BDD's domains to be the given domains.
setDomains(BDDDomain, BDDDomain, BDDDomain) - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDD
Changes this BDD's domains to be the given domains.
setDomains(BDDDomain, BDDDomain, BDDDomain, BDDDomain) - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDD
Changes this BDD's domains to be the given domains.
setDomains(BDDDomain, BDDDomain, BDDDomain, BDDDomain, BDDDomain) - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDD
Changes this BDD's domains to be the given domains.
setError(int) - Method in class net.sf.javabdd.BDDFactory
Sets the error condition.
setError(int) - Method in class net.sf.javabdd.BuDDyFactory
 
setError(int) - Method in class net.sf.javabdd.CALFactory
 
setError(int) - Method in class net.sf.javabdd.CUDDFactory
 
setError(int) - Method in class net.sf.javabdd.JDDFactory
 
setError(int) - Method in class net.sf.javabdd.JFactory
 
setError(int) - Method in class net.sf.javabdd.TestBDDFactory
 
setError(int) - Method in class net.sf.javabdd.TypedBDDFactory
 
setFilenames(String, String, String) - Method in class net.sf.javabdd.TryVarOrder.BDDOperation
 
setIncreaseFactor(double) - Method in class net.sf.javabdd.BDDFactory
Set factor by which to increase node table after a garbage collection.
setIncreaseFactor(double) - Method in class net.sf.javabdd.BuDDyFactory
 
setIncreaseFactor(double) - Method in class net.sf.javabdd.CALFactory
 
setIncreaseFactor(double) - Method in class net.sf.javabdd.CUDDFactory
 
setIncreaseFactor(double) - Method in class net.sf.javabdd.JDDFactory
 
setIncreaseFactor(double) - Method in class net.sf.javabdd.JFactory
 
setIncreaseFactor(double) - Method in class net.sf.javabdd.TestBDDFactory
 
setIncreaseFactor(double) - Method in class net.sf.javabdd.TypedBDDFactory
 
setMaxIncrease(int) - Method in class net.sf.javabdd.BDDFactory
Set maximum number of nodes by which to increase node table after a garbage collection.
setMaxIncrease(int) - Method in class net.sf.javabdd.BuDDyFactory
 
setMaxIncrease(int) - Method in class net.sf.javabdd.CALFactory
 
setMaxIncrease(int) - Method in class net.sf.javabdd.CUDDFactory
 
setMaxIncrease(int) - Method in class net.sf.javabdd.JDDFactory
 
setMaxIncrease(int) - Method in class net.sf.javabdd.JFactory
 
setMaxIncrease(int) - Method in class net.sf.javabdd.TestBDDFactory
 
setMaxIncrease(int) - Method in class net.sf.javabdd.TypedBDDFactory
 
setMaxNodeNum(int) - Method in class net.sf.javabdd.BDDFactory
Set the maximum available number of BDD nodes.
setMaxNodeNum(int) - Method in class net.sf.javabdd.BuDDyFactory
 
setMaxNodeNum(int) - Method in class net.sf.javabdd.CALFactory
 
setMaxNodeNum(int) - Method in class net.sf.javabdd.CUDDFactory
 
setMaxNodeNum(int) - Method in class net.sf.javabdd.JDDFactory
 
setMaxNodeNum(int) - Method in class net.sf.javabdd.JFactory
 
setMaxNodeNum(int) - Method in class net.sf.javabdd.TestBDDFactory
 
setMaxNodeNum(int) - Method in class net.sf.javabdd.TypedBDDFactory
 
setMinFreeNodes(double) - Method in class net.sf.javabdd.BDDFactory
Set minimum percentage of nodes to be reclaimed after a garbage collection.
setMinFreeNodes(double) - Method in class net.sf.javabdd.BuDDyFactory
 
setMinFreeNodes(double) - Method in class net.sf.javabdd.CALFactory
 
setMinFreeNodes(double) - Method in class net.sf.javabdd.CUDDFactory
 
setMinFreeNodes(double) - Method in class net.sf.javabdd.JDDFactory
 
setMinFreeNodes(double) - Method in class net.sf.javabdd.JFactory
 
setMinFreeNodes(double) - Method in class net.sf.javabdd.TestBDDFactory
 
setMinFreeNodes(double) - Method in class net.sf.javabdd.TypedBDDFactory
 
setName(String) - Method in class net.sf.javabdd.BDDDomain
Sets the name of this domain.
setNodeTableSize(int) - Method in class net.sf.javabdd.BDDFactory
Sets the node table size.
setNodeTableSize(int) - Method in class net.sf.javabdd.BuDDyFactory
 
setNodeTableSize(int) - Method in class net.sf.javabdd.CALFactory
 
setNodeTableSize(int) - Method in class net.sf.javabdd.CUDDFactory
 
setNodeTableSize(int) - Method in class net.sf.javabdd.JDDFactory
 
setNodeTableSize(int) - Method in class net.sf.javabdd.JFactory
 
setNodeTableSize(int) - Method in class net.sf.javabdd.TestBDDFactory
 
setNodeTableSize(int) - Method in class net.sf.javabdd.TypedBDDFactory
 
setOp(int) - Method in class net.sf.javabdd.TryVarOrder.BDDOperation
 
setVarNum(int) - Method in class net.sf.javabdd.BDDFactory
Set the number of used BDD variables.
setVarNum(int) - Method in class net.sf.javabdd.BuDDyFactory
 
setVarNum(int) - Method in class net.sf.javabdd.CALFactory
 
setVarNum(int) - Method in class net.sf.javabdd.CUDDFactory
 
setVarNum(int) - Method in class net.sf.javabdd.JDDFactory
 
setVarNum(int) - Method in class net.sf.javabdd.JFactory
 
setVarNum(int) - Method in class net.sf.javabdd.TestBDDFactory
 
setVarNum(int) - Method in class net.sf.javabdd.TypedBDDFactory
 
setVarOrder(int[]) - Method in class net.sf.javabdd.BDDFactory
This function sets the current variable order to be the one defined by neworder.
setVarOrder(int[]) - Method in class net.sf.javabdd.BuDDyFactory
 
setVarOrder(int[]) - Method in class net.sf.javabdd.CALFactory
 
setVarOrder(int[]) - Method in class net.sf.javabdd.CUDDFactory
 
setVarOrder(int[]) - Method in class net.sf.javabdd.JDDFactory
 
setVarOrder(int[]) - Method in class net.sf.javabdd.JFactory
 
setVarOrder(int[]) - Method in class net.sf.javabdd.TestBDDFactory
 
setVarOrder(boolean, String) - Method in class net.sf.javabdd.TryVarOrder.BDDOperation
 
setVarOrder(int[]) - Method in class net.sf.javabdd.TypedBDDFactory
 
shl(int, BDD) - Method in class net.sf.javabdd.BDDBitVector
 
simplify(BDD) - Method in class net.sf.javabdd.BDD
Coudert and Madre's restrict function.
simplify(BDD) - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDD
 
size() - Method in class net.sf.javabdd.BDDBitVector
 
size() - Method in class net.sf.javabdd.BDDDomain
Returns the size of the domain for this finite domain block.
skipDontCare(BDDDomain) - Method in class net.sf.javabdd.BDD.BDDIterator
Assuming d is a dont-care, skip to the end of the iteration for d
sub(BDDBitVector) - Method in class net.sf.javabdd.BDDBitVector
 
sumtime - Variable in class net.sf.javabdd.BDDFactory.GCStats
 
support() - Method in class net.sf.javabdd.BDD
Returns the variable support of this BDD.
support() - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDD
 
swapCount - Variable in class net.sf.javabdd.BDDFactory.CacheStats
 
swapVar(int, int) - Method in class net.sf.javabdd.BDDFactory
Swap two variables.
swapVar(int, int) - Method in class net.sf.javabdd.BuDDyFactory
 
swapVar(int, int) - Method in class net.sf.javabdd.CALFactory
 
swapVar(int, int) - Method in class net.sf.javabdd.CUDDFactory
 
swapVar(int, int) - Method in class net.sf.javabdd.JDDFactory
 
swapVar(int, int) - Method in class net.sf.javabdd.JFactory
 
swapVar(int, int) - Method in class net.sf.javabdd.TestBDDFactory
 
swapVar(int, int) - Method in class net.sf.javabdd.TypedBDDFactory
 

T

TRACE - Static variable in class net.sf.javabdd.HijackingClassLoader
 
TestBDDFactory - class net.sf.javabdd.TestBDDFactory.
This BDD factory is used to test other BDD factories.
TestBDDFactory(BDDFactory, BDDFactory) - Constructor for class net.sf.javabdd.TestBDDFactory
 
TryVarOrder - class net.sf.javabdd.TryVarOrder.
TryVarOrder
TryVarOrder(int, int, int, long, long) - Constructor for class net.sf.javabdd.TryVarOrder
Construct a new TryVarOrder.
TryVarOrder.BDDOperation - class net.sf.javabdd.TryVarOrder.BDDOperation.
 
TryVarOrder.BDDOperation() - Constructor for class net.sf.javabdd.TryVarOrder.BDDOperation
 
TryVarOrder.BDDOperation(int, String, String, String) - Constructor for class net.sf.javabdd.TryVarOrder.BDDOperation
 
TryVarOrder.TryThread - class net.sf.javabdd.TryVarOrder.TryThread.
 
TypedBDDFactory - class net.sf.javabdd.TypedBDDFactory.
This BDD factory keeps track of what domains each BDD uses, and complains if you try to do an operation where the domains do not match.
TypedBDDFactory(BDDFactory) - Constructor for class net.sf.javabdd.TypedBDDFactory
 
TypedBDDFactory.TypedBDD - class net.sf.javabdd.TypedBDDFactory.TypedBDD.
A BDD with types (domains) attached to it.
TypedBDDFactory.TypedBDD(BDD, Set) - Constructor for class net.sf.javabdd.TypedBDDFactory.TypedBDD
 
time - Variable in class net.sf.javabdd.BDDFactory.GCStats
 
toString() - Method in class net.sf.javabdd.BDD
 
toString() - Method in class net.sf.javabdd.BDDDomain
 
toString() - Method in class net.sf.javabdd.BDDFactory.BDDOp
 
toString() - Method in class net.sf.javabdd.BDDFactory.CacheStats
 
toString() - Method in class net.sf.javabdd.BDDFactory.GCStats
 
toString() - Method in class net.sf.javabdd.BDDFactory.ReorderMethod
 
toStringWithDomains() - Method in class net.sf.javabdd.BDD
Returns a string representation of this BDD using the defined domains.
toStringWithDomains(BDD.BDDToString) - Method in class net.sf.javabdd.BDD
Returns a string representation of this BDD on the defined domains, using the given BDDToString converter.
tokenizer - Variable in class net.sf.javabdd.BDDFactory
Used for tokenization during loading.
tryOrder(boolean, String) - Method in class net.sf.javabdd.FindBestOrder
 
tryOrder(String, boolean, String) - Method in class net.sf.javabdd.TryVarOrder
Try out a variable order.

U

unique(BDD) - Method in class net.sf.javabdd.BDD
Unique quantification of variables.
unique(BDD) - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDD
 
uniqueAccess - Variable in class net.sf.javabdd.BDDFactory.CacheStats
 
uniqueChain - Variable in class net.sf.javabdd.BDDFactory.CacheStats
 
uniqueHit - Variable in class net.sf.javabdd.BDDFactory.CacheStats
 
uniqueMiss - Variable in class net.sf.javabdd.BDDFactory.CacheStats
 
unregisterCallback(List, Object, Method) - Method in class net.sf.javabdd.BDDFactory
 

V

val() - Method in class net.sf.javabdd.BDDBitVector
 
values - Variable in class net.sf.javabdd.BDD.BDDIterator
 
var() - Method in class net.sf.javabdd.BDD
Gets the variable labeling the BDD.
var - Variable in class net.sf.javabdd.BDDDomain
 
var() - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDD
 
var2Level(int) - Method in class net.sf.javabdd.BDDFactory
Convert from a BDD variable to a BDD level.
var2Level(int) - Method in class net.sf.javabdd.BuDDyFactory
 
var2Level(int) - Method in class net.sf.javabdd.CALFactory
 
var2Level(int) - Method in class net.sf.javabdd.CUDDFactory
 
var2Level(int) - Method in class net.sf.javabdd.JDDFactory
 
var2Level(int) - Method in class net.sf.javabdd.JFactory
 
var2Level(int) - Method in class net.sf.javabdd.TestBDDFactory
 
var2Level(int) - Method in class net.sf.javabdd.TypedBDDFactory
 
varBlockAll() - Method in class net.sf.javabdd.BDDFactory
Add a variable block for all variables.
varBlockAll() - Method in class net.sf.javabdd.BuDDyFactory
 
varBlockAll() - Method in class net.sf.javabdd.CALFactory
 
varBlockAll() - Method in class net.sf.javabdd.CUDDFactory
 
varBlockAll() - Method in class net.sf.javabdd.JDDFactory
 
varBlockAll() - Method in class net.sf.javabdd.JFactory
 
varBlockAll() - Method in class net.sf.javabdd.TestBDDFactory
 
varBlockAll() - Method in class net.sf.javabdd.TypedBDDFactory
 
varNum() - Method in class net.sf.javabdd.BDDDomain
Returns the number of BDD variables used for this finite domain block.
varNum() - Method in class net.sf.javabdd.BDDFactory
Returns the number of defined variables.
varNum() - Method in class net.sf.javabdd.BuDDyFactory
 
varNum() - Method in class net.sf.javabdd.CALFactory
 
varNum() - Method in class net.sf.javabdd.CUDDFactory
 
varNum() - Method in class net.sf.javabdd.JDDFactory
 
varNum() - Method in class net.sf.javabdd.JFactory
 
varNum() - Method in class net.sf.javabdd.TestBDDFactory
 
varNum() - Method in class net.sf.javabdd.TypedBDDFactory
 
varProfile() - Method in class net.sf.javabdd.BDD
Counts the number of times each variable occurs in this BDD.
varProfile() - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDD
 
varRange(long, long) - Method in class net.sf.javabdd.BDDDomain
Returns the BDD that defines the given range of values, inclusive, for this finite domain block.
varRange(BigInteger, BigInteger) - Method in class net.sf.javabdd.BDDDomain
 
vars() - Method in class net.sf.javabdd.BDDDomain
Returns an integer array containing the indices of the BDD variables used to define this finite domain.
veccompose(BDDPairing) - Method in class net.sf.javabdd.BDD
Simultaneous functional composition.
veccompose(BDDPairing) - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDD
 

W

whichDomain(int) - Method in class net.sf.javabdd.TypedBDDFactory
 
writeBDDConfig(BDDFactory, String) - Method in class net.sf.javabdd.FindBestOrder
 
writeBDDConfig(BDDFactory, String) - Method in class net.sf.javabdd.TryVarOrder
Write the BDD configuration to a file.

X

xor(BDD) - Method in class net.sf.javabdd.BDD
Returns the logical 'xor' of two BDDs.
xor - Static variable in class net.sf.javabdd.BDDFactory
Logical 'xor'.
xorWith(BDD) - Method in class net.sf.javabdd.BDD
Makes this BDD be the logical 'xor' of two BDDs.

Z

zero() - Method in class net.sf.javabdd.BDDFactory
Get the constant false BDD.
zero() - Method in class net.sf.javabdd.BuDDyFactory
 
zero() - Method in class net.sf.javabdd.CALFactory
 
zero() - Method in class net.sf.javabdd.CUDDFactory
 
zero() - Method in class net.sf.javabdd.JDDFactory
 
zero() - Method in class net.sf.javabdd.JFactory
 
zero() - Method in class net.sf.javabdd.TestBDDFactory
 
zero() - Method in class net.sf.javabdd.TypedBDDFactory
 

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

Copyright © 2003-2004 John Whaley. All Rights Reserved.