Package
Class
Use
Tree
Deprecated
Index
Help
PREV NEXT
FRAMES
NO FRAMES
All Classes
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
Package
Class
Use
Tree
Deprecated
Index
Help
PREV NEXT
FRAMES
NO FRAMES
All Classes
Copyright © 2003-2004 John Whaley. All Rights Reserved.