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
 
addref_impl(int) - Method in class net.sf.javabdd.BDDFactoryIntImpl
 
addref_impl(int) - Method in class net.sf.javabdd.BuDDyFactory
 
addref_impl(int) - Method in class net.sf.javabdd.JDDFactory
 
addref_impl(int) - Method in class net.sf.javabdd.JFactory
 
addref_impl(int) - Method in class net.sf.javabdd.MicroFactory
 
addref_impl(int) - Method in class net.sf.javabdd.UberMicroFactory
 
addVarBlock(BDDVarSet, 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(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(int, int, boolean) - Method in class net.sf.javabdd.JDDFactory
 
addVarBlock(int, int, boolean) - Method in class net.sf.javabdd.JFactory
 
addVarBlock(int, int, boolean) - Method in class net.sf.javabdd.MicroFactory
 
addVarBlock(int, int, boolean) - Method in class net.sf.javabdd.TestBDDFactory
 
addVarBlock(int, int, boolean) - Method in class net.sf.javabdd.TypedBDDFactory
 
addVarBlock(int, int, boolean) - Method in class net.sf.javabdd.UberMicroFactory
 
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
 
allsatProfile - Variable in class net.sf.javabdd.BDD.AllSatIterator
 
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'.
and(BitString) - Method in class net.sf.javabdd.BitString
Logically ANDs this bit set with the specified set of bits.
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.BDDFactoryIntImpl.IntBDD
 
apply(BDD, BDDFactory.BDDOp) - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDD
 
apply_impl(int, int, BDDFactory.BDDOp) - Method in class net.sf.javabdd.BDDFactoryIntImpl
 
apply_impl(int, int, BDDFactory.BDDOp) - Method in class net.sf.javabdd.BuDDyFactory
 
apply_impl(int, int, BDDFactory.BDDOp) - Method in class net.sf.javabdd.JDDFactory
 
apply_impl(int, int, BDDFactory.BDDOp) - Method in class net.sf.javabdd.JFactory
 
apply_impl(int, int, BDDFactory.BDDOp) - Method in class net.sf.javabdd.MicroFactory
 
apply_impl(int, int, BDDFactory.BDDOp) - Method in class net.sf.javabdd.UberMicroFactory
 
applyAll(BDD, BDDFactory.BDDOp, BDDVarSet) - 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, BDDVarSet) - Method in class net.sf.javabdd.BDDFactoryIntImpl.IntBDD
 
applyAll(BDD, BDDFactory.BDDOp, BDDVarSet) - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDD
 
applyAll_impl(int, int, BDDFactory.BDDOp, int) - Method in class net.sf.javabdd.BDDFactoryIntImpl
 
applyAll_impl(int, int, BDDFactory.BDDOp, int) - Method in class net.sf.javabdd.BuDDyFactory
 
applyAll_impl(int, int, BDDFactory.BDDOp, int) - Method in class net.sf.javabdd.JDDFactory
 
applyAll_impl(int, int, BDDFactory.BDDOp, int) - Method in class net.sf.javabdd.JFactory
 
applyAll_impl(int, int, BDDFactory.BDDOp, int) - Method in class net.sf.javabdd.MicroFactory
 
applyAll_impl(int, int, BDDFactory.BDDOp, int) - Method in class net.sf.javabdd.UberMicroFactory
 
applyEx(BDD, BDDFactory.BDDOp, BDDVarSet) - 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, BDDVarSet) - Method in class net.sf.javabdd.BDDFactoryIntImpl.IntBDD
 
applyEx(BDD, BDDFactory.BDDOp, BDDVarSet) - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDD
 
applyEx_impl(int, int, BDDFactory.BDDOp, int) - Method in class net.sf.javabdd.BDDFactoryIntImpl
 
applyEx_impl(int, int, BDDFactory.BDDOp, int) - Method in class net.sf.javabdd.BuDDyFactory
 
applyEx_impl(int, int, BDDFactory.BDDOp, int) - Method in class net.sf.javabdd.JDDFactory
 
applyEx_impl(int, int, BDDFactory.BDDOp, int) - Method in class net.sf.javabdd.JFactory
 
applyEx_impl(int, int, BDDFactory.BDDOp, int) - Method in class net.sf.javabdd.MicroFactory
 
applyEx_impl(int, int, BDDFactory.BDDOp, int) - Method in class net.sf.javabdd.UberMicroFactory
 
applyUni(BDD, BDDFactory.BDDOp, BDDVarSet) - 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, BDDVarSet) - Method in class net.sf.javabdd.BDDFactoryIntImpl.IntBDD
 
applyUni(BDD, BDDFactory.BDDOp, BDDVarSet) - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDD
 
applyUni_impl(int, int, BDDFactory.BDDOp, int) - Method in class net.sf.javabdd.BDDFactoryIntImpl
 
applyUni_impl(int, int, BDDFactory.BDDOp, int) - Method in class net.sf.javabdd.BuDDyFactory
 
applyUni_impl(int, int, BDDFactory.BDDOp, int) - Method in class net.sf.javabdd.JDDFactory
 
applyUni_impl(int, int, BDDFactory.BDDOp, int) - Method in class net.sf.javabdd.JFactory
 
applyUni_impl(int, int, BDDFactory.BDDOp, int) - Method in class net.sf.javabdd.MicroFactory
 
applyUni_impl(int, int, BDDFactory.BDDOp, int) - Method in class net.sf.javabdd.UberMicroFactory
 
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.BDDFactoryIntImpl.IntBDD
 
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
 
assertSame(BDDVarSet, BDDVarSet, String) - Static method in class net.sf.javabdd.TestBDDFactory
 
assertSame(boolean, BDDVarSet, BDDVarSet, 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.MicroFactory
 
autoReorder(BDDFactory.ReorderMethod, int) - Method in class net.sf.javabdd.MicroFactory
 
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
 
autoReorder(BDDFactory.ReorderMethod) - Method in class net.sf.javabdd.UberMicroFactory
 
autoReorder(BDDFactory.ReorderMethod, int) - Method in class net.sf.javabdd.UberMicroFactory
 

B

b - Variable in class net.sf.javabdd.BDDVarSet.DefaultImpl
BDD representation of the set of variables.
backwardsIterator() - Method in class net.sf.javabdd.BitString
Returns an iterator that iterates through the bits in backward order.
backwardsIterator(int) - Method in class net.sf.javabdd.BitString
Returns an iterator that iterates through the bits in backward order, starting at the given index.
BDD - Class in net.sf.javabdd
Binary Decision Diagrams (BDDs) are used for efficient computation of many common problems.
BDD() - Constructor for class net.sf.javabdd.BDD
Protected constructor.
BDD.AllSatIterator - Class in net.sf.javabdd
Iterator that returns all satisfying assignments as byte arrays.
BDD.AllSatIterator(BDDFactory, boolean) - Constructor for class net.sf.javabdd.BDD.AllSatIterator
 
BDD.AllSatIterator(BDD) - Constructor for class net.sf.javabdd.BDD.AllSatIterator
Constructs a satisfying-assignment iterator on the given BDD.
BDD.AllSatIterator(BDD, boolean) - Constructor for class net.sf.javabdd.BDD.AllSatIterator
Constructs a satisfying-assignment iterator on the given BDD.
BDD.BDDIterator - Class in net.sf.javabdd
BDDIterator is used to iterate through the satisfying assignments of a BDD.
BDD.BDDIterator(BDD, BDDVarSet) - Constructor for class net.sf.javabdd.BDD.BDDIterator
Construct a new BDDIterator on the given BDD.
BDD.BDDToString - Class in net.sf.javabdd
BDDToString is used to specify the printing behavior of BDDs with domains.
BDD.BDDToString() - Constructor for class net.sf.javabdd.BDD.BDDToString
Protected constructor.
bdd_default_gbchandler(boolean, BDDFactory.GCStats) - Static method in class net.sf.javabdd.BDDFactory
 
bdd_default_reohandler(boolean, BDDFactory.ReorderStats) - Method in class net.sf.javabdd.BDDFactory
 
bdd_default_reshandler(int, int) - Static method in class net.sf.javabdd.BDDFactory
 
BDDBitVector - Class in net.sf.javabdd
Bit vector implementation for BDDs.
BDDBitVector(int) - Constructor for class net.sf.javabdd.BDDBitVector
 
BDDDomain - Class in net.sf.javabdd
Represents a domain of BDD variables.
BDDDomain(int, BigInteger) - Constructor for class net.sf.javabdd.BDDDomain
Default constructor.
BDDException - Exception in net.sf.javabdd
An exception caused by an invalid BDD operation.
BDDException() - Constructor for exception net.sf.javabdd.BDDException
 
BDDException(String) - Constructor for exception net.sf.javabdd.BDDException
 
BDDFactory - Class in net.sf.javabdd
Interface for the creation and manipulation of BDDs.
BDDFactory() - Constructor for class net.sf.javabdd.BDDFactory
Construct a new BDDFactory.
BDDFactory.BDDOp - Class in net.sf.javabdd
Enumeration class for binary operations on BDDs.
BDDFactory.CacheStats - Class in net.sf.javabdd
Stores statistics about the operator cache.
BDDFactory.CacheStats() - Constructor for class net.sf.javabdd.BDDFactory.CacheStats
 
BDDFactory.GCStats - Class in net.sf.javabdd
Stores statistics about garbage collections.
BDDFactory.GCStats() - Constructor for class net.sf.javabdd.BDDFactory.GCStats
 
BDDFactory.LoadHash - Class in net.sf.javabdd
LoadHash is used to hash during loading.
BDDFactory.LoadHash() - Constructor for class net.sf.javabdd.BDDFactory.LoadHash
 
BDDFactory.ReorderMethod - Class in net.sf.javabdd
Enumeration class for method reordering techniques.
BDDFactory.ReorderStats - Class in net.sf.javabdd
Stores statistics about reordering.
BDDFactory.ReorderStats() - Constructor for class net.sf.javabdd.BDDFactory.ReorderStats
 
BDDFactoryIntImpl - Class in net.sf.javabdd
A shared superclass for BDD factories that refer to BDDs as ints.
BDDFactoryIntImpl() - Constructor for class net.sf.javabdd.BDDFactoryIntImpl
 
BDDFactoryIntImpl.IntBDD - Class in net.sf.javabdd
 
BDDFactoryIntImpl.IntBDD(int) - Constructor for class net.sf.javabdd.BDDFactoryIntImpl.IntBDD
 
BDDFactoryIntImpl.IntBDDBitVector - Class in net.sf.javabdd
 
BDDFactoryIntImpl.IntBDDBitVector(int) - Constructor for class net.sf.javabdd.BDDFactoryIntImpl.IntBDDBitVector
 
BDDFactoryIntImpl.IntBDDVarSet - Class in net.sf.javabdd
 
BDDFactoryIntImpl.IntBDDVarSet(int) - Constructor for class net.sf.javabdd.BDDFactoryIntImpl.IntBDDVarSet
 
BDDFactoryIntImpl.IntBDDVarSetWithFinalizer - Class in net.sf.javabdd
 
BDDFactoryIntImpl.IntBDDVarSetWithFinalizer(int) - Constructor for class net.sf.javabdd.BDDFactoryIntImpl.IntBDDVarSetWithFinalizer
 
BDDFactoryIntImpl.IntBDDWithFinalizer - Class in net.sf.javabdd
 
BDDFactoryIntImpl.IntBDDWithFinalizer(int) - Constructor for class net.sf.javabdd.BDDFactoryIntImpl.IntBDDWithFinalizer
 
BDDFactoryIntImpl.IntZDDVarSet - Class in net.sf.javabdd
 
BDDFactoryIntImpl.IntZDDVarSet(int) - Constructor for class net.sf.javabdd.BDDFactoryIntImpl.IntZDDVarSet
 
BDDFactoryIntImpl.IntZDDVarSetWithFinalizer - Class in net.sf.javabdd
 
BDDFactoryIntImpl.IntZDDVarSetWithFinalizer(int) - Constructor for class net.sf.javabdd.BDDFactoryIntImpl.IntZDDVarSetWithFinalizer
 
BDDPairing - Class in net.sf.javabdd
Encodes a table of variable pairs.
BDDPairing() - Constructor for class net.sf.javabdd.BDDPairing
 
BDDVarSet - Class in net.sf.javabdd
Some BDD methods, namely exist(), forall(), unique(), relprod(), applyAll(), applyEx(), applyUni(), and satCount() take a BDDVarSet argument.
BDDVarSet() - Constructor for class net.sf.javabdd.BDDVarSet
 
BDDVarSet.DefaultImpl - Class in net.sf.javabdd
Default implementation of BDDVarSet based on BDDs.
BDDVarSet.DefaultImpl(BDD) - Constructor for class net.sf.javabdd.BDDVarSet.DefaultImpl
Construct a BDDVarSet backed by the given BDD.
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.
BitString - Class in net.sf.javabdd
BitString implements a vector of bits much like java.util.BitSet, except that this implementation actually works.
BitString(int) - Constructor for class net.sf.javabdd.BitString
Creates an empty string with the specified size.
BitString.BackwardBitStringIterator - Class in net.sf.javabdd
Iterator for iterating through a bit string in backward order.
BitString.BitStringIterator - Class in net.sf.javabdd
Abstract bit string iterator class.
BitString.BitStringIterator() - Constructor for class net.sf.javabdd.BitString.BitStringIterator
 
BitString.ForwardBitStringIterator - Class in net.sf.javabdd
Iterator for iterating through a bit string in forward order.
BitString.ForwardBitStringZeroIterator - Class in net.sf.javabdd
Iterator for iterating through a bit string in forward order.
bitvec - Variable in class net.sf.javabdd.BDDBitVector
 
bsf(int) - Static method in class net.sf.javabdd.BitString
Utility function to return the index of the first (lowest-order) one bit in the given integer.
bsr(int) - Static method in class net.sf.javabdd.BitString
Utility function to return the index of the last one bit in the given integer.
BuDDyFactory - Class in net.sf.javabdd
An implementation of BDDFactory that relies on the BuDDy library through a native interface.
buildAdd(BDDDomain, long) - Method in class net.sf.javabdd.BDDDomain
 
buildAdd(BDDDomain, int, long) - Method in class net.sf.javabdd.BDDDomain
 
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.
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 - Variable in class net.sf.javabdd.BDDFactory
Singleton object for cache statistics.
CALFactory - Class in net.sf.javabdd
An implementation of BDDFactory that relies on the CAL library through a native interface.
cleanup() - Method in class net.sf.javabdd.FindBestOrder
 
cleanup() - Method in class net.sf.javabdd.TryVarOrder
Clean up the temporary files.
clear(int) - Method in class net.sf.javabdd.BitString
Clears a bit.
clearAll() - Method in class net.sf.javabdd.BitString
Clears all bits.
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.MicroFactory
 
clearError() - Method in class net.sf.javabdd.TestBDDFactory
 
clearError() - Method in class net.sf.javabdd.TypedBDDFactory
 
clearError() - Method in class net.sf.javabdd.UberMicroFactory
 
clearUpTo(int) - Method in class net.sf.javabdd.BitString
Clears all bits up to and including the given bit.
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.MicroFactory
 
clearVarBlocks() - Method in class net.sf.javabdd.TestBDDFactory
 
clearVarBlocks() - Method in class net.sf.javabdd.TypedBDDFactory
 
clearVarBlocks() - Method in class net.sf.javabdd.UberMicroFactory
 
clone() - Method in class net.sf.javabdd.BitString
Clones the BitString.
cloneFactory() - Method in class net.sf.javabdd.JFactory
 
cloneFactory() - Method in class net.sf.javabdd.MicroFactory
 
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.BDDFactoryIntImpl.IntBDD
 
compose(BDD, int) - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDD
 
compose_impl(int, int, int) - Method in class net.sf.javabdd.BDDFactoryIntImpl
 
compose_impl(int, int, int) - Method in class net.sf.javabdd.BuDDyFactory
 
compose_impl(int, int, int) - Method in class net.sf.javabdd.JDDFactory
 
compose_impl(int, int, int) - Method in class net.sf.javabdd.JFactory
 
compose_impl(int, int, int) - Method in class net.sf.javabdd.MicroFactory
 
compose_impl(int, int, int) - Method in class net.sf.javabdd.UberMicroFactory
 
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.BDDFactoryIntImpl.IntBDD
 
constrain(BDD) - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDD
 
constrain_impl(int, int) - Method in class net.sf.javabdd.BDDFactoryIntImpl
 
constrain_impl(int, int) - Method in class net.sf.javabdd.BuDDyFactory
 
constrain_impl(int, int) - Method in class net.sf.javabdd.JDDFactory
 
constrain_impl(int, int) - Method in class net.sf.javabdd.JFactory
 
constrain_impl(int, int) - Method in class net.sf.javabdd.MicroFactory
 
constrain_impl(int, int) - Method in class net.sf.javabdd.UberMicroFactory
 
contains(BitString) - Method in class net.sf.javabdd.BitString
Check if this set contains all bits of the given set.
copy() - Method in class net.sf.javabdd.BDDBitVector
 
copyBits(BitString) - Method in class net.sf.javabdd.BitString
Copies the values of the bits in the specified set into this set.
copyNode(BDD) - Method in class net.sf.javabdd.JFactory
Use this function to translate BDD's from a JavaFactory into its clone.
copyNode(BDD) - Method in class net.sf.javabdd.MicroFactory
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.CALFactory
 
createBitVector(int) - Method in class net.sf.javabdd.CUDDFactory
 
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.CALFactory
 
createDomain(int, BigInteger) - Method in class net.sf.javabdd.CUDDFactory
 
createDomain(int, BigInteger) - Method in class net.sf.javabdd.TestBDDFactory
 
createDomain(int, BigInteger) - Method in class net.sf.javabdd.TypedBDDFactory
 
CUDDFactory - Class in net.sf.javabdd
An implementation of BDDFactory that relies on the CUDD library through a native interface.

D

deferredFree(int) - Method in class net.sf.javabdd.BDDFactoryIntImpl
 
delref_impl(int) - Method in class net.sf.javabdd.BDDFactoryIntImpl
 
delref_impl(int) - Method in class net.sf.javabdd.BuDDyFactory
 
delref_impl(int) - Method in class net.sf.javabdd.JDDFactory
 
delref_impl(int) - Method in class net.sf.javabdd.JFactory
 
delref_impl(int) - Method in class net.sf.javabdd.MicroFactory
 
delref_impl(int) - Method in class net.sf.javabdd.UberMicroFactory
 
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.MicroFactory
 
disableReorder() - Method in class net.sf.javabdd.TestBDDFactory
 
disableReorder() - Method in class net.sf.javabdd.TypedBDDFactory
 
disableReorder() - Method in class net.sf.javabdd.UberMicroFactory
 
divmod(long, boolean) - Method in class net.sf.javabdd.BDDBitVector
 
do_intersect(int, int) - Method in class net.sf.javabdd.BDDFactoryIntImpl.IntBDDVarSet
 
do_intersect(int, int) - Method in class net.sf.javabdd.BDDFactoryIntImpl.IntZDDVarSet
 
do_union(int, int) - Method in class net.sf.javabdd.BDDFactoryIntImpl.IntBDDVarSet
 
do_union(int, int) - Method in class net.sf.javabdd.BDDFactoryIntImpl.IntZDDVarSet
 
do_unionvar(int, int) - Method in class net.sf.javabdd.BDDFactoryIntImpl.IntBDDVarSet
 
do_unionvar(int, int) - Method in class net.sf.javabdd.BDDFactoryIntImpl.IntZDDVarSet
 
doCallbacks(List, Object, Object) - 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
domain_comparator - Static variable in class net.sf.javabdd.TypedBDDFactory
 
domainNames(Set) - Static method 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.BDDFactoryIntImpl
 
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.MicroFactory
 
done() - Method in class net.sf.javabdd.TestBDDFactory
 
done() - Method in class net.sf.javabdd.TypedBDDFactory
 
done() - Method in class net.sf.javabdd.UberMicroFactory
 
duplicateVar(int) - Method in class net.sf.javabdd.CALFactory
 
duplicateVar(int) - Method in class net.sf.javabdd.CUDDFactory
 

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.
emptySet() - Method in class net.sf.javabdd.BDDFactory
Get an empty BDDVarSet.
emptySet() - Method in class net.sf.javabdd.BDDFactoryIntImpl
 
emptySet() - Method in class net.sf.javabdd.TestBDDFactory
 
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.MicroFactory
 
enableReorder() - Method in class net.sf.javabdd.TestBDDFactory
 
enableReorder() - Method in class net.sf.javabdd.TypedBDDFactory
 
enableReorder() - Method in class net.sf.javabdd.UberMicroFactory
 
ensureCapacity(long) - Method in class net.sf.javabdd.BDDDomain
 
ensureCapacity(BigInteger) - Method in class net.sf.javabdd.BDDDomain
 
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.BDDFactoryIntImpl.IntBDD
 
equals(BDDVarSet) - Method in class net.sf.javabdd.BDDFactoryIntImpl.IntBDDVarSet
 
equals(BDDVarSet) - Method in class net.sf.javabdd.BDDVarSet.DefaultImpl
 
equals(BDDVarSet.DefaultImpl) - Method in class net.sf.javabdd.BDDVarSet.DefaultImpl
 
equals(BDDVarSet) - Method in class net.sf.javabdd.BDDVarSet
Returns true if the sets are equal.
equals(Object) - Method in class net.sf.javabdd.BDDVarSet
 
equals(Object) - Method in class net.sf.javabdd.BitString
Compares this object against the specified object.
equals(MicroFactory.PairOfInts) - Method in class net.sf.javabdd.MicroFactory.PairOfInts
 
equals(Object) - Method in class net.sf.javabdd.MicroFactory.PairOfInts
 
equals(MicroFactory.QuadOfInts) - Method in class net.sf.javabdd.MicroFactory.QuadOfInts
 
equals(Object) - Method in class net.sf.javabdd.MicroFactory.QuadOfInts
 
equals(MicroFactory.TripleOfInts) - Method in class net.sf.javabdd.MicroFactory.TripleOfInts
 
equals(Object) - Method in class net.sf.javabdd.MicroFactory.TripleOfInts
 
equals(BDD) - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDD
 
equals(BDDVarSet) - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDDVarSet
 
equals(UberMicroFactory.PairOfInts) - Method in class net.sf.javabdd.UberMicroFactory.PairOfInts
 
equals(Object) - Method in class net.sf.javabdd.UberMicroFactory.PairOfInts
 
equals(UberMicroFactory.QuadOfInts) - Method in class net.sf.javabdd.UberMicroFactory.QuadOfInts
 
equals(Object) - Method in class net.sf.javabdd.UberMicroFactory.QuadOfInts
 
equals(UberMicroFactory.TripleOfInts) - Method in class net.sf.javabdd.UberMicroFactory.TripleOfInts
 
equals(Object) - Method in class net.sf.javabdd.UberMicroFactory.TripleOfInts
 
exist(BDDVarSet) - Method in class net.sf.javabdd.BDD
Existential quantification of variables.
exist(BDDVarSet) - Method in class net.sf.javabdd.BDDFactoryIntImpl.IntBDD
 
exist(BDDVarSet) - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDD
 
exist_impl(int, int) - Method in class net.sf.javabdd.BDDFactoryIntImpl
 
exist_impl(int, int) - Method in class net.sf.javabdd.BuDDyFactory
 
exist_impl(int, int) - Method in class net.sf.javabdd.JDDFactory
 
exist_impl(int, int) - Method in class net.sf.javabdd.JFactory
 
exist_impl(int, int) - Method in class net.sf.javabdd.MicroFactory
 
exist_impl(int, int) - Method in class net.sf.javabdd.UberMicroFactory
 
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.

F

f - Variable in class net.sf.javabdd.BDD.AllSatIterator
 
fastForward(int) - Method in class net.sf.javabdd.BDD.BDDIterator
Fast-forward the iteration such that the given variable number is true.
fastForward(int[]) - Method in class net.sf.javabdd.BDD.BDDIterator
Fast-forward the iteration such that the given set of variables are true.
fdvarnum - Variable in class net.sf.javabdd.BDDFactory
 
finalize() - Method in class net.sf.javabdd.BDDFactoryIntImpl
 
finalize() - Method in class net.sf.javabdd.BDDFactoryIntImpl.IntBDDVarSetWithFinalizer
 
finalize() - Method in class net.sf.javabdd.BDDFactoryIntImpl.IntBDDWithFinalizer
 
finalize() - Method in class net.sf.javabdd.BDDFactoryIntImpl.IntZDDVarSetWithFinalizer
 
FindBestOrder - Class in net.sf.javabdd
FindBestOrder
FindBestOrder(int, int, int, long, long) - Constructor for class net.sf.javabdd.FindBestOrder
 
FindBestOrder.TryThread - Class in net.sf.javabdd
 
FindBestOrder.TryThread() - Constructor for class net.sf.javabdd.FindBestOrder.TryThread
 
firstbddvar - Variable in class net.sf.javabdd.BDDFactory
 
firstSet() - Method in class net.sf.javabdd.BitString
Returns the first index in the bit string which is set, or -1 if there is no such index.
firstSet(int) - Method in class net.sf.javabdd.BitString
Returns the first index greater than where in the bit string which is set, or -1 if there is no such index.
FLUSH_CACHE_ON_GC - Static variable in class net.sf.javabdd.JFactory
Flush the operation cache on every garbage collection.
FLUSH_CACHE_ON_GC - Static variable in class net.sf.javabdd.MicroFactory
 
FLUSH_CACHE_ON_GC - Static variable in class net.sf.javabdd.UberMicroFactory
 
forAll(BDDVarSet) - Method in class net.sf.javabdd.BDD
Universal quantification of variables.
forAll(BDDVarSet) - Method in class net.sf.javabdd.BDDFactoryIntImpl.IntBDD
 
forAll(BDDVarSet) - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDD
 
forAll_impl(int, int) - Method in class net.sf.javabdd.BDDFactoryIntImpl
 
forAll_impl(int, int) - Method in class net.sf.javabdd.BuDDyFactory
 
forAll_impl(int, int) - Method in class net.sf.javabdd.JDDFactory
 
forAll_impl(int, int) - Method in class net.sf.javabdd.JFactory
 
forAll_impl(int, int) - Method in class net.sf.javabdd.MicroFactory
 
forAll_impl(int, int) - Method in class net.sf.javabdd.UberMicroFactory
 
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.BDDFactoryIntImpl.IntBDD
 
free() - Method in class net.sf.javabdd.BDDFactoryIntImpl.IntBDDVarSet
 
free() - Method in class net.sf.javabdd.BDDVarSet.DefaultImpl
 
free() - Method in class net.sf.javabdd.BDDVarSet
 
free() - Method in class net.sf.javabdd.TryVarOrder.BDDOperation
 
free() - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDD
 
free() - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDDVarSet
 
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.BDDFactoryIntImpl.IntBDD
 
fullSatOne() - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDD
 
fullSatOne_impl(int) - Method in class net.sf.javabdd.BDDFactoryIntImpl
 
fullSatOne_impl(int) - Method in class net.sf.javabdd.BuDDyFactory
 
fullSatOne_impl(int) - Method in class net.sf.javabdd.JDDFactory
 
fullSatOne_impl(int) - Method in class net.sf.javabdd.JFactory
 
fullSatOne_impl(int) - Method in class net.sf.javabdd.MicroFactory
 
fullSatOne_impl(int) - Method in class net.sf.javabdd.UberMicroFactory
 

G

gain() - Method in class net.sf.javabdd.BDDFactory.ReorderStats
 
gbc_handler(boolean, BDDFactory.GCStats) - Method in class net.sf.javabdd.BDDFactory
 
gc_callbacks - Variable in class net.sf.javabdd.BDDFactory
CALLBACKS
gcstats - Variable in class net.sf.javabdd.BDDFactory
Singleton object for GC statistics.
get(int) - Method in class net.sf.javabdd.BitString
Gets a bit.
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
 
getBlock(JFactory.BddTree, int, int) - Method in class net.sf.javabdd.JFactory
 
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.MicroFactory
 
getCacheSize() - Method in class net.sf.javabdd.TestBDDFactory
 
getCacheSize() - Method in class net.sf.javabdd.TypedBDDFactory
 
getCacheSize() - Method in class net.sf.javabdd.UberMicroFactory
 
getCacheStats() - Method in class net.sf.javabdd.BDDFactory
Return the current cache statistics for this BDD factory.
getCacheStats() - Method in class net.sf.javabdd.MicroFactory
 
getCacheStats() - Method in class net.sf.javabdd.UberMicroFactory
 
getDomain(int) - Method in class net.sf.javabdd.BDDFactory
Returns the ith finite domain block, as defined by calls to extDomain().
getDomains() - Method in class net.sf.javabdd.BDDVarSet
Scans this BDD and copies the stored variables into an array of BDDDomains.
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.BDDFactoryIntImpl.IntBDD
 
getFactory() - Method in class net.sf.javabdd.BDDFactoryIntImpl.IntBDDBitVector
 
getFactory() - Method in class net.sf.javabdd.BDDFactoryIntImpl.IntBDDVarSet
 
getFactory() - Method in class net.sf.javabdd.BDDVarSet.DefaultImpl
 
getFactory() - Method in class net.sf.javabdd.BDDVarSet
Returns the factory that created this BDDVarSet.
getFactory() - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDD
 
getFactory() - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDDVarSet
 
getGCStats() - Method in class net.sf.javabdd.BDDFactory
Return the current GC statistics for this BDD factory.
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.MicroFactory
 
getNodeNum() - Method in class net.sf.javabdd.TestBDDFactory
 
getNodeNum() - Method in class net.sf.javabdd.TypedBDDFactory
 
getNodeNum() - Method in class net.sf.javabdd.UberMicroFactory
 
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.MicroFactory
 
getNodeTableSize() - Method in class net.sf.javabdd.TestBDDFactory
 
getNodeTableSize() - Method in class net.sf.javabdd.TypedBDDFactory
 
getNodeTableSize() - Method in class net.sf.javabdd.UberMicroFactory
 
getParent(JFactory.BddTree) - Method in class net.sf.javabdd.JFactory
 
getParent(JFactory.BddTree, JFactory.BddTree) - Method in class net.sf.javabdd.JFactory
 
getProperty(String, String) - Static method in class net.sf.javabdd.BDDFactory
 
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.MicroFactory
 
getReorderMethod() - Method in class net.sf.javabdd.TestBDDFactory
 
getReorderMethod() - Method in class net.sf.javabdd.TypedBDDFactory
 
getReorderMethod() - Method in class net.sf.javabdd.UberMicroFactory
 
getReorderStats() - Method in class net.sf.javabdd.BDDFactory
Return the current reordering statistics for this BDD factory.
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.MicroFactory
 
getReorderTimes() - Method in class net.sf.javabdd.TestBDDFactory
 
getReorderTimes() - Method in class net.sf.javabdd.TypedBDDFactory
 
getReorderTimes() - Method in class net.sf.javabdd.UberMicroFactory
 
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.
getVarOrder() - Method in class net.sf.javabdd.BDDFactory
Gets the current variable order.
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.MicroFactory
 
getVersion() - Method in class net.sf.javabdd.TestBDDFactory
 
getVersion() - Method in class net.sf.javabdd.TypedBDDFactory
 
getVersion() - Method in class net.sf.javabdd.UberMicroFactory
 
gotoNext() - Method in class net.sf.javabdd.BDD.BDDIterator
 
gotoNextA() - Method in class net.sf.javabdd.BDD.BDDIterator
 

H

handleDeferredFree() - Method in class net.sf.javabdd.BDDFactoryIntImpl
 
handleDeferredFree() - Method in class net.sf.javabdd.UberMicroFactory
 
hashCode() - Method in class net.sf.javabdd.BDD
 
hashCode() - Method in class net.sf.javabdd.BDDFactoryIntImpl.IntBDD
 
hashCode() - Method in class net.sf.javabdd.BDDFactoryIntImpl.IntBDDVarSet
 
hashCode() - Method in class net.sf.javabdd.BDDVarSet.DefaultImpl
 
hashCode() - Method in class net.sf.javabdd.BDDVarSet
 
hashCode() - Method in class net.sf.javabdd.BitString
Returns a hash code value for this bit string whose value depends only on which bits have been set within this BitString.
hashCode() - Method in class net.sf.javabdd.MicroFactory.PairOfInts
 
hashCode() - Method in class net.sf.javabdd.MicroFactory.QuadOfInts
 
hashCode() - Method in class net.sf.javabdd.MicroFactory.TripleOfInts
 
hashCode() - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDD
 
hashCode() - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDDVarSet
 
hashCode() - Method in class net.sf.javabdd.UberMicroFactory.PairOfInts
 
hashCode() - Method in class net.sf.javabdd.UberMicroFactory.QuadOfInts
 
hashCode() - Method in class net.sf.javabdd.UberMicroFactory.TripleOfInts
 
hasNext() - Method in class net.sf.javabdd.BDD.AllSatIterator
 
hasNext() - Method in class net.sf.javabdd.BDD.BDDIterator
 
hasNext() - Method in class net.sf.javabdd.BitString.BackwardBitStringIterator
 
hasNext() - Method in class net.sf.javabdd.BitString.ForwardBitStringIterator
 
hasNext() - Method in class net.sf.javabdd.BitString.ForwardBitStringZeroIterator
 
high() - Method in class net.sf.javabdd.BDD
Gets the true branch of this BDD.
high() - Method in class net.sf.javabdd.BDDFactoryIntImpl.IntBDD
 
high() - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDD
 
high_impl(int) - Method in class net.sf.javabdd.BDDFactoryIntImpl
 
high_impl(int) - Method in class net.sf.javabdd.BuDDyFactory
 
high_impl(int) - Method in class net.sf.javabdd.JDDFactory
 
high_impl(int) - Method in class net.sf.javabdd.JFactory
 
high_impl(int) - Method in class net.sf.javabdd.MicroFactory
 
high_impl(int) - Method in class net.sf.javabdd.UberMicroFactory
 
hiStack - Variable in class net.sf.javabdd.BDD.AllSatIterator
 

I

id() - Method in class net.sf.javabdd.BDD
Identity function.
id() - Method in class net.sf.javabdd.BDDFactoryIntImpl.IntBDD
 
id() - Method in class net.sf.javabdd.BDDFactoryIntImpl.IntBDDVarSet
 
id() - Method in class net.sf.javabdd.BDDVarSet.DefaultImpl
 
id() - Method in class net.sf.javabdd.BDDVarSet
 
id() - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDD
 
id() - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDDVarSet
 
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.
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, BDDVarSet, 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.MicroFactory
 
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
 
init(int, int) - Static method in class net.sf.javabdd.UberMicroFactory
 
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.MicroFactory
 
initialize(int, int) - Method in class net.sf.javabdd.TestBDDFactory
 
initialize(int, int) - Method in class net.sf.javabdd.TypedBDDFactory
 
initialize(int, int) - Method in class net.sf.javabdd.UberMicroFactory
 
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.
intersect(BDDVarSet) - Method in class net.sf.javabdd.BDDFactoryIntImpl.IntBDDVarSet
 
intersect(BDDVarSet) - Method in class net.sf.javabdd.BDDVarSet.DefaultImpl
 
intersect(BDDVarSet) - Method in class net.sf.javabdd.BDDVarSet
Returns a new BDDVarSet that is the union of the current BDDVarSet and the given BDDVarSet.
intersect(BDDVarSet) - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDDVarSet
 
intersectionEmpty(BitString) - Method in class net.sf.javabdd.BitString
Check if the intersection of the two sets is empty
intersectWith(BDDVarSet) - Method in class net.sf.javabdd.BDDFactoryIntImpl.IntBDDVarSet
 
intersectWith(BDDVarSet) - Method in class net.sf.javabdd.BDDVarSet.DefaultImpl
 
intersectWith(BDDVarSet) - Method in class net.sf.javabdd.BDDVarSet
Modifies this BDDVarSet to include all of the vars in the given set.
intersectWith(BDDVarSet) - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDDVarSet
 
invalid_bdd_impl() - Method in class net.sf.javabdd.BDDFactoryIntImpl
 
invalid_bdd_impl() - Method in class net.sf.javabdd.BuDDyFactory
 
invalid_bdd_impl() - Method in class net.sf.javabdd.JDDFactory
 
invalid_bdd_impl() - Method in class net.sf.javabdd.JFactory
 
invalid_bdd_impl() - Method in class net.sf.javabdd.MicroFactory
 
invalid_bdd_impl() - Method in class net.sf.javabdd.UberMicroFactory
 
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.
isEmpty() - Method in class net.sf.javabdd.BDDFactoryIntImpl.IntBDDVarSet
 
isEmpty() - Method in class net.sf.javabdd.BDDVarSet.DefaultImpl
 
isEmpty() - Method in class net.sf.javabdd.BDDVarSet
 
isEmpty() - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDDVarSet
 
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.MicroFactory
 
isInitialized() - Method in class net.sf.javabdd.TestBDDFactory
 
isInitialized() - Method in class net.sf.javabdd.TypedBDDFactory
 
isInitialized() - Method in class net.sf.javabdd.UberMicroFactory
 
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.BDDFactoryIntImpl.IntBDD
 
isOne() - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDD
 
isUniverse() - Method in class net.sf.javabdd.BDD
Returns true if this BDD is the universe BDD.
isUniverse() - Method in class net.sf.javabdd.BDDFactoryIntImpl.IntBDD
 
isZDD() - Method in class net.sf.javabdd.BDDFactory
Returns true if this is a ZDD factory, false otherwise.
isZDD() - Method in class net.sf.javabdd.JFactory
 
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.BDDFactoryIntImpl.IntBDD
 
isZero() - Method in class net.sf.javabdd.BitString
Returns whether this BitString is all zeroes.
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.BDDFactoryIntImpl.IntBDD
 
ite(BDD, BDD) - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDD
 
ite_impl(int, int, int) - Method in class net.sf.javabdd.BDDFactoryIntImpl
 
ite_impl(int, int, int) - Method in class net.sf.javabdd.BuDDyFactory
 
ite_impl(int, int, int) - Method in class net.sf.javabdd.JDDFactory
 
ite_impl(int, int, int) - Method in class net.sf.javabdd.JFactory
 
ite_impl(int, int, int) - Method in class net.sf.javabdd.MicroFactory
 
ite_impl(int, int, int) - Method in class net.sf.javabdd.UberMicroFactory
 
iterator(BDDVarSet) - Method in class net.sf.javabdd.BDD
Returns an iteration of the satisfying assignments of this BDD.
iterator() - Method in class net.sf.javabdd.BitString
Returns an iterator that iterates through the bits in forward order.
iterator(BDDVarSet) - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDD
 
iterator() - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDD
 
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.BDDFactoryIntImpl
 
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.TestBDDFactory
 
ithVar(int) - Method in class net.sf.javabdd.TypedBDDFactory
 
ithVar_impl(int) - Method in class net.sf.javabdd.BDDFactoryIntImpl
 
ithVar_impl(int) - Method in class net.sf.javabdd.BuDDyFactory
 
ithVar_impl(int) - Method in class net.sf.javabdd.JDDFactory
 
ithVar_impl(int) - Method in class net.sf.javabdd.JFactory
 
ithVar_impl(int) - Method in class net.sf.javabdd.MicroFactory
 
ithVar_impl(int) - Method in class net.sf.javabdd.UberMicroFactory
 
ivar - Variable in class net.sf.javabdd.BDDDomain
 

J

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

L

lastSet(int) - Method in class net.sf.javabdd.BitString
Returns the last index less than where in the bit string which is set, or -1 if there is no such index.
lastSet() - Method in class net.sf.javabdd.BitString
Returns the last index in the bit string which is set, or -1 if there is no such index.
length() - Method in class net.sf.javabdd.BitString
Returns the "logical size" of this BitString: the index of the highest set bit in the BitString plus one.
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.
level() - Method in class net.sf.javabdd.BDDFactoryIntImpl.IntBDD
 
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.MicroFactory
 
level2Var(int) - Method in class net.sf.javabdd.TestBDDFactory
 
level2Var(int) - Method in class net.sf.javabdd.TypedBDDFactory
 
level2Var(int) - Method in class net.sf.javabdd.UberMicroFactory
 
level_impl(int) - Method in class net.sf.javabdd.BDDFactoryIntImpl
 
level_impl(int) - Method in class net.sf.javabdd.BuDDyFactory
 
level_impl(int) - Method in class net.sf.javabdd.JDDFactory
 
level_impl(int) - Method in class net.sf.javabdd.JFactory
 
level_impl(int) - Method in class net.sf.javabdd.MicroFactory
 
level_impl(int) - Method in class net.sf.javabdd.UberMicroFactory
 
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(BufferedReader, int[]) - Method in class net.sf.javabdd.BDDFactory
Loads a BDD from the given input, translating BDD variables according to the given map.
load(String) - Method in class net.sf.javabdd.BuDDyFactory
 
load(BufferedReader, int[]) - Method in class net.sf.javabdd.JFactory
 
load(BufferedReader, int[]) - Method in class net.sf.javabdd.MicroFactory
 
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
 
load(BufferedReader, int[]) - Method in class net.sf.javabdd.UberMicroFactory
 
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(BDDVarSet) - Method in class net.sf.javabdd.BDD
Calculates the logarithm of the number of satisfying variable assignments to the variables in the given varset.
loStack - Variable in class net.sf.javabdd.BDD.AllSatIterator
 
low() - Method in class net.sf.javabdd.BDD
Gets the false branch of this BDD.
low() - Method in class net.sf.javabdd.BDDFactoryIntImpl.IntBDD
 
low() - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDD
 
low_impl(int) - Method in class net.sf.javabdd.BDDFactoryIntImpl
 
low_impl(int) - Method in class net.sf.javabdd.BuDDyFactory
 
low_impl(int) - Method in class net.sf.javabdd.JDDFactory
 
low_impl(int) - Method in class net.sf.javabdd.JFactory
 
low_impl(int) - Method in class net.sf.javabdd.MicroFactory
 
low_impl(int) - Method in class net.sf.javabdd.UberMicroFactory
 

M

main(String[]) - Static method in class net.sf.javabdd.CUDDFactory
 
makeBDD(int) - Method in class net.sf.javabdd.BDDFactoryIntImpl
 
makeBDD(int) - Method in class net.sf.javabdd.UberMicroFactory
 
makeBDDVarSet(int) - Method in class net.sf.javabdd.BDDFactoryIntImpl
 
makeBDDVarSet(int) - Method in class net.sf.javabdd.UberMicroFactory
 
makeMap() - Static method in class net.sf.javabdd.TypedBDDFactory
 
makenode_impl(int, int, int) - Method in class net.sf.javabdd.BDDFactoryIntImpl
 
makenode_impl(int, int, int) - Method in class net.sf.javabdd.BuDDyFactory
 
makenode_impl(int, int, int) - Method in class net.sf.javabdd.JDDFactory
 
makenode_impl(int, int, int) - Method in class net.sf.javabdd.JFactory
 
makenode_impl(int, int, int) - Method in class net.sf.javabdd.MicroFactory
 
makenode_impl(int, int, int) - Method in class net.sf.javabdd.UberMicroFactory
 
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.MicroFactory
 
makePair() - Method in class net.sf.javabdd.TestBDDFactory
 
makePair() - Method in class net.sf.javabdd.TypedBDDFactory
 
makePair() - Method in class net.sf.javabdd.UberMicroFactory
 
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() - 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
 
MicroFactory - Class in net.sf.javabdd
BDD factory where each node only takes 16 bytes.
MicroFactory.PairOfInts - Class in net.sf.javabdd
 
MicroFactory.PairOfInts(int, int) - Constructor for class net.sf.javabdd.MicroFactory.PairOfInts
 
MicroFactory.QuadOfInts - Class in net.sf.javabdd
 
MicroFactory.QuadOfInts(int, int, int, int) - Constructor for class net.sf.javabdd.MicroFactory.QuadOfInts
 
MicroFactory.TripleOfInts - Class in net.sf.javabdd
 
MicroFactory.TripleOfInts(int, int, int) - Constructor for class net.sf.javabdd.MicroFactory.TripleOfInts
 
minus(BitString) - Method in class net.sf.javabdd.BitString
Logically subtracts this bit set with the specified set of bits.

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.AllSatIterator
 
next() - Method in class net.sf.javabdd.BDD.BDDIterator
 
next() - Method in class net.sf.javabdd.BitString.BitStringIterator
 
nextBDD() - Method in class net.sf.javabdd.BDD.BDDIterator
Return the next BDD in the iteration.
nextIndex() - Method in class net.sf.javabdd.BitString.BackwardBitStringIterator
 
nextIndex() - Method in class net.sf.javabdd.BitString.BitStringIterator
Returns the index of the next bit set.
nextIndex() - Method in class net.sf.javabdd.BitString.ForwardBitStringIterator
 
nextIndex() - Method in class net.sf.javabdd.BitString.ForwardBitStringZeroIterator
 
nextSat() - Method in class net.sf.javabdd.BDD.AllSatIterator
Return the next satisfying var setting.
nextSat() - Method in class net.sf.javabdd.BDD.BDDIterator
Return the next single satisfying assignment in the iteration.
nextTuple() - Method in class net.sf.javabdd.BDD.BDDIterator
Return the next tuple of domain values in the iteration.
nextTuple2() - Method in class net.sf.javabdd.BDD.BDDIterator
An alternate implementation of nextTuple().
nextValue(BDDDomain) - 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.BDDFactoryIntImpl
 
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.TestBDDFactory
 
nithVar(int) - Method in class net.sf.javabdd.TypedBDDFactory
 
nithVar_impl(int) - Method in class net.sf.javabdd.BDDFactoryIntImpl
 
nithVar_impl(int) - Method in class net.sf.javabdd.BuDDyFactory
 
nithVar_impl(int) - Method in class net.sf.javabdd.JDDFactory
 
nithVar_impl(int) - Method in class net.sf.javabdd.JFactory
 
nithVar_impl(int) - Method in class net.sf.javabdd.MicroFactory
 
nithVar_impl(int) - Method in class net.sf.javabdd.UberMicroFactory
 
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() - Method in class net.sf.javabdd.BDDFactoryIntImpl.IntBDD
 
nodeCount(Collection) - Method in class net.sf.javabdd.BDDFactoryIntImpl
 
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.TestBDDFactory
 
nodeCount(Collection) - Method in class net.sf.javabdd.TypedBDDFactory
 
nodeCount() - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDD
 
nodeCount_impl(int) - Method in class net.sf.javabdd.BDDFactoryIntImpl
 
nodeCount_impl(int) - Method in class net.sf.javabdd.BuDDyFactory
 
nodeCount_impl(int) - Method in class net.sf.javabdd.JDDFactory
 
nodeCount_impl(int) - Method in class net.sf.javabdd.JFactory
 
nodeCount_impl(int) - Method in class net.sf.javabdd.MicroFactory
 
nodeCount_impl(int) - Method in class net.sf.javabdd.UberMicroFactory
 
nodeCount_impl2(int[]) - Method in class net.sf.javabdd.BDDFactoryIntImpl
 
nodeCount_impl2(int[]) - Method in class net.sf.javabdd.BuDDyFactory
 
nodeCount_impl2(int[]) - Method in class net.sf.javabdd.JDDFactory
 
nodeCount_impl2(int[]) - Method in class net.sf.javabdd.JFactory
 
nodeCount_impl2(int[]) - Method in class net.sf.javabdd.MicroFactory
 
nodeCount_impl2(int[]) - Method in class net.sf.javabdd.UberMicroFactory
 
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.BDDFactoryIntImpl.IntBDD
 
not() - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDD
 
not_impl(int) - Method in class net.sf.javabdd.BDDFactoryIntImpl
 
not_impl(int) - Method in class net.sf.javabdd.BuDDyFactory
 
not_impl(int) - Method in class net.sf.javabdd.JDDFactory
 
not_impl(int) - Method in class net.sf.javabdd.JFactory
 
not_impl(int) - Method in class net.sf.javabdd.MicroFactory
 
not_impl(int) - Method in class net.sf.javabdd.UberMicroFactory
 
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().
numberOfOnes() - Method in class net.sf.javabdd.BitString
Returns the number of ones in this BitString.
numberOfOnes(int) - Method in class net.sf.javabdd.BitString
Returns the number of ones in this BitString up to a given index.

O

one() - Method in class net.sf.javabdd.BDDFactory
Get the constant true BDD.
one() - Method in class net.sf.javabdd.BDDFactoryIntImpl
 
one() - Method in class net.sf.javabdd.CALFactory
 
one() - Method in class net.sf.javabdd.CUDDFactory
 
one() - Method in class net.sf.javabdd.TestBDDFactory
 
one() - Method in class net.sf.javabdd.TypedBDDFactory
 
one_impl() - Method in class net.sf.javabdd.BDDFactoryIntImpl
 
one_impl() - Method in class net.sf.javabdd.BuDDyFactory
 
one_impl() - Method in class net.sf.javabdd.JDDFactory
 
one_impl() - Method in class net.sf.javabdd.JFactory
 
one_impl() - Method in class net.sf.javabdd.MicroFactory
 
one_impl() - Method in class net.sf.javabdd.UberMicroFactory
 
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'.
or(BitString) - Method in class net.sf.javabdd.BitString
Logically ORs this bit set with the specified set of bits.
or_upTo(BitString, int) - Method in class net.sf.javabdd.BitString
Logically ORs this bit set with the specified set of bits.
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.BDDFactoryIntImpl.IntBDD
 
pathCount() - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDD
 
pathCount_impl(int) - Method in class net.sf.javabdd.BDDFactoryIntImpl
 
pathCount_impl(int) - Method in class net.sf.javabdd.BuDDyFactory
 
pathCount_impl(int) - Method in class net.sf.javabdd.JDDFactory
 
pathCount_impl(int) - Method in class net.sf.javabdd.JFactory
 
pathCount_impl(int) - Method in class net.sf.javabdd.MicroFactory
 
pathCount_impl(int) - Method in class net.sf.javabdd.UberMicroFactory
 
popcount(int) - Static method in class net.sf.javabdd.BitString
Utility function to return the number of 1 bits in the given integer value.
popcount(long) - Static method in class net.sf.javabdd.BitString
Utility function to return the number of 1 bits in the given long value.
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.MicroFactory
 
printAll() - Method in class net.sf.javabdd.TestBDDFactory
 
printAll() - Method in class net.sf.javabdd.TypedBDDFactory
 
printAll() - Method in class net.sf.javabdd.UberMicroFactory
 
printDot() - Method in class net.sf.javabdd.BDD
Prints this BDD in dot graph notation.
printdot_rec(PrintStream, int, boolean[], HashMap) - Method in class net.sf.javabdd.BDD
 
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.MicroFactory
 
printOrder() - Method in class net.sf.javabdd.TestBDDFactory
 
printOrder() - Method in class net.sf.javabdd.TypedBDDFactory
 
printOrder() - Method in class net.sf.javabdd.UberMicroFactory
 
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.MicroFactory
 
printStat() - Method in class net.sf.javabdd.TestBDDFactory
 
printStat() - Method in class net.sf.javabdd.TypedBDDFactory
 
printStat() - Method in class net.sf.javabdd.UberMicroFactory
 
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.BDDFactoryIntImpl
 
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.TestBDDFactory
 
printTable(BDD) - Method in class net.sf.javabdd.TypedBDDFactory
 
printTable_impl(int) - Method in class net.sf.javabdd.BDDFactoryIntImpl
 
printTable_impl(int) - Method in class net.sf.javabdd.BuDDyFactory
 
printTable_impl(int) - Method in class net.sf.javabdd.JDDFactory
 
printTable_impl(int) - Method in class net.sf.javabdd.JFactory
 
printTable_impl(int) - Method in class net.sf.javabdd.MicroFactory
 
printTable_impl(int) - Method in class net.sf.javabdd.UberMicroFactory
 

R

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.
registerGCCallback(Object, Method) - Method in class net.sf.javabdd.JDDFactory
 
registerReorderCallback(Object, Method) - Method in class net.sf.javabdd.BDDFactory
Register a callback that is called when reordering is about to occur.
registerReorderCallback(Object, Method) - Method in class net.sf.javabdd.JDDFactory
 
registerResizeCallback(Object, Method) - Method in class net.sf.javabdd.BDDFactory
Register a callback that is called when node table resizing is about to occur.
registerResizeCallback(Object, Method) - Method in class net.sf.javabdd.JDDFactory
 
relprod(BDD, BDDVarSet) - Method in class net.sf.javabdd.BDD
Relational product.
relprod(BDD, BDDVarSet) - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDD
 
remove() - Method in class net.sf.javabdd.BDD.AllSatIterator
 
remove() - Method in class net.sf.javabdd.BDD.BDDIterator
 
remove() - Method in class net.sf.javabdd.BitString.BitStringIterator
 
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.MicroFactory
 
reorder(BDDFactory.ReorderMethod) - Method in class net.sf.javabdd.TestBDDFactory
 
reorder(BDDFactory.ReorderMethod) - Method in class net.sf.javabdd.TypedBDDFactory
 
reorder(BDDFactory.ReorderMethod) - Method in class net.sf.javabdd.UberMicroFactory
 
reorder_callbacks - Variable in class net.sf.javabdd.BDDFactory
CALLBACKS
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.
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.MicroFactory
 
reorderGain() - Method in class net.sf.javabdd.TestBDDFactory
 
reorderGain() - Method in class net.sf.javabdd.TypedBDDFactory
 
reorderGain() - Method in class net.sf.javabdd.UberMicroFactory
 
reorderstats - Variable in class net.sf.javabdd.BDDFactory
Singleton object for reorder statistics.
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.MicroFactory
 
reorderVerbose(int) - Method in class net.sf.javabdd.TestBDDFactory
 
reorderVerbose(int) - Method in class net.sf.javabdd.TypedBDDFactory
 
reorderVerbose(int) - Method in class net.sf.javabdd.UberMicroFactory
 
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.BDDFactoryIntImpl.IntBDD
 
replace(BDDPairing) - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDD
 
replace_impl(int, BDDPairing) - Method in class net.sf.javabdd.BDDFactoryIntImpl
 
replace_impl(int, BDDPairing) - Method in class net.sf.javabdd.BuDDyFactory
 
replace_impl(int, BDDPairing) - Method in class net.sf.javabdd.JDDFactory
 
replace_impl(int, BDDPairing) - Method in class net.sf.javabdd.JFactory
 
replace_impl(int, BDDPairing) - Method in class net.sf.javabdd.MicroFactory
 
replace_impl(int, BDDPairing) - Method in class net.sf.javabdd.UberMicroFactory
 
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.BDDFactoryIntImpl.IntBDD
 
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).
resize_callbacks - Variable in class net.sf.javabdd.BDDFactory
CALLBACKS
resize_handler(int, int) - Method in class net.sf.javabdd.BDDFactory
 
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.BDDFactoryIntImpl.IntBDD
 
restrict(BDD) - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDD
 
restrict_impl(int, int) - Method in class net.sf.javabdd.BDDFactoryIntImpl
 
restrict_impl(int, int) - Method in class net.sf.javabdd.BuDDyFactory
 
restrict_impl(int, int) - Method in class net.sf.javabdd.JDDFactory
 
restrict_impl(int, int) - Method in class net.sf.javabdd.JFactory
 
restrict_impl(int, int) - Method in class net.sf.javabdd.MicroFactory
 
restrict_impl(int, int) - Method in class net.sf.javabdd.UberMicroFactory
 
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.BDDFactoryIntImpl.IntBDD
 
restrictWith(BDD) - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDD
 
reverseAllDomains() - Method in class net.sf.javabdd.JFactory
 
reverseDomain(BDDDomain) - Method in class net.sf.javabdd.JFactory
 
reverseDomain0(BDDDomain) - Method in class net.sf.javabdd.JFactory
 
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.MicroFactory
 
REVISION - Static variable in class net.sf.javabdd.TestBDDFactory
 
REVISION - Static variable in class net.sf.javabdd.TypedBDDFactory
 
REVISION - Static variable in class net.sf.javabdd.UberMicroFactory
 
run() - Method in class net.sf.javabdd.FindBestOrder.TryThread
 
run() - Method in class net.sf.javabdd.TryVarOrder.TryThread
 

S

satCount() - Method in class net.sf.javabdd.BDD
Calculates the number of satisfying variable assignments.
satCount(BDDVarSet) - 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.BDDFactoryIntImpl.IntBDD
 
satCount() - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDD
 
satCount(BDDVarSet) - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDD
 
satCount_impl(int) - Method in class net.sf.javabdd.BDDFactoryIntImpl
 
satCount_impl(int) - Method in class net.sf.javabdd.BuDDyFactory
 
satCount_impl(int) - Method in class net.sf.javabdd.JDDFactory
 
satCount_impl(int) - Method in class net.sf.javabdd.JFactory
 
satCount_impl(int) - Method in class net.sf.javabdd.MicroFactory
 
satCount_impl(int) - Method in class net.sf.javabdd.UberMicroFactory
 
satOne() - Method in class net.sf.javabdd.BDD
Finds one satisfying variable assignment.
satOne(BDDVarSet, boolean) - Method in class net.sf.javabdd.BDD
Finds one satisfying variable assignment.
satOne() - Method in class net.sf.javabdd.BDDFactoryIntImpl.IntBDD
 
satOne(BDDVarSet, boolean) - Method in class net.sf.javabdd.BDDFactoryIntImpl.IntBDD
 
satOne() - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDD
 
satOne(BDDVarSet, boolean) - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDD
 
satOne_impl(int) - Method in class net.sf.javabdd.BDDFactoryIntImpl
 
satOne_impl(int) - Method in class net.sf.javabdd.BuDDyFactory
 
satOne_impl(int) - Method in class net.sf.javabdd.JDDFactory
 
satOne_impl(int) - Method in class net.sf.javabdd.JFactory
 
satOne_impl(int) - Method in class net.sf.javabdd.MicroFactory
 
satOne_impl(int) - Method in class net.sf.javabdd.UberMicroFactory
 
satOne_impl2(int, int, boolean) - Method in class net.sf.javabdd.BDDFactoryIntImpl
 
satOne_impl2(int, int, boolean) - Method in class net.sf.javabdd.BuDDyFactory
 
satOne_impl2(int, int, boolean) - Method in class net.sf.javabdd.JDDFactory
 
satOne_impl2(int, int, boolean) - Method in class net.sf.javabdd.JFactory
 
satOne_impl2(int, int, boolean) - Method in class net.sf.javabdd.MicroFactory
 
satOne_impl2(int, int, boolean) - Method in class net.sf.javabdd.UberMicroFactory
 
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(BufferedWriter, BDD) - Method in class net.sf.javabdd.MicroFactory
 
save(String, BDD) - Method in class net.sf.javabdd.TestBDDFactory
 
save(String, BDD) - Method in class net.sf.javabdd.TypedBDDFactory
 
save(BufferedWriter, BDD) - Method in class net.sf.javabdd.UberMicroFactory
 
save_rec(BufferedWriter, BitSet, BDD) - Method in class net.sf.javabdd.BDDFactory
Helper function for save().
save_rec_original(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.
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.
set(int) - Method in class net.sf.javabdd.BitString
Sets a bit.
setAll() - Method in class net.sf.javabdd.BitString
Sets all bits.
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.MicroFactory
 
setCacheRatio(double) - Method in class net.sf.javabdd.TestBDDFactory
 
setCacheRatio(double) - Method in class net.sf.javabdd.TypedBDDFactory
 
setCacheRatio(double) - Method in class net.sf.javabdd.UberMicroFactory
 
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.MicroFactory
 
setCacheSize(int) - Method in class net.sf.javabdd.TestBDDFactory
 
setCacheSize(int) - Method in class net.sf.javabdd.TypedBDDFactory
 
setCacheSize(int) - Method in class net.sf.javabdd.UberMicroFactory
 
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.MicroFactory
 
setError(int) - Method in class net.sf.javabdd.TestBDDFactory
 
setError(int) - Method in class net.sf.javabdd.TypedBDDFactory
 
setError(int) - Method in class net.sf.javabdd.UberMicroFactory
 
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.MicroFactory
 
setIncreaseFactor(double) - Method in class net.sf.javabdd.TestBDDFactory
 
setIncreaseFactor(double) - Method in class net.sf.javabdd.TypedBDDFactory
 
setIncreaseFactor(double) - Method in class net.sf.javabdd.UberMicroFactory
 
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.MicroFactory
 
setMaxIncrease(int) - Method in class net.sf.javabdd.TestBDDFactory
 
setMaxIncrease(int) - Method in class net.sf.javabdd.TypedBDDFactory
 
setMaxIncrease(int) - Method in class net.sf.javabdd.UberMicroFactory
 
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.MicroFactory
 
setMaxNodeNum(int) - Method in class net.sf.javabdd.TestBDDFactory
 
setMaxNodeNum(int) - Method in class net.sf.javabdd.TypedBDDFactory
 
setMaxNodeNum(int) - Method in class net.sf.javabdd.UberMicroFactory
 
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.MicroFactory
 
setMinFreeNodes(double) - Method in class net.sf.javabdd.TestBDDFactory
 
setMinFreeNodes(double) - Method in class net.sf.javabdd.TypedBDDFactory
 
setMinFreeNodes(double) - Method in class net.sf.javabdd.UberMicroFactory
 
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.MicroFactory
 
setNodeTableSize(int) - Method in class net.sf.javabdd.TestBDDFactory
 
setNodeTableSize(int) - Method in class net.sf.javabdd.TypedBDDFactory
 
setNodeTableSize(int) - Method in class net.sf.javabdd.UberMicroFactory
 
setOp(int) - Method in class net.sf.javabdd.TryVarOrder.BDDOperation
 
setRange(int, int) - Method in class net.sf.javabdd.BitString
 
setUpTo(int) - Method in class net.sf.javabdd.BitString
Sets all bits up to and including the given bit.
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.MicroFactory
 
setVarNum(int) - Method in class net.sf.javabdd.TestBDDFactory
 
setVarNum(int) - Method in class net.sf.javabdd.TypedBDDFactory
 
setVarNum(int) - Method in class net.sf.javabdd.UberMicroFactory
 
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(String) - Method in class net.sf.javabdd.JFactory
 
setVarOrder(List) - Method in class net.sf.javabdd.JFactory
Set the variable order to be the given list of domains.
setVarOrder(int[]) - Method in class net.sf.javabdd.MicroFactory
 
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
 
setVarOrder(int[]) - Method in class net.sf.javabdd.UberMicroFactory
 
shl(int, BDD) - Method in class net.sf.javabdd.BDDBitVector
 
shl(int) - Method in class net.sf.javabdd.BitString
Performs a left-shift operation.
shr(int) - Method in class net.sf.javabdd.BitString
Performs a right-shift operation.
simplify(BDDVarSet) - Method in class net.sf.javabdd.BDD
Coudert and Madre's restrict function.
simplify(BDDVarSet) - Method in class net.sf.javabdd.BDDFactoryIntImpl.IntBDD
 
simplify(BDDVarSet) - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDD
 
simplify_impl(int, int) - Method in class net.sf.javabdd.BDDFactoryIntImpl
 
simplify_impl(int, int) - Method in class net.sf.javabdd.BuDDyFactory
 
simplify_impl(int, int) - Method in class net.sf.javabdd.JDDFactory
 
simplify_impl(int, int) - Method in class net.sf.javabdd.JFactory
 
simplify_impl(int, int) - Method in class net.sf.javabdd.MicroFactory
 
simplify_impl(int, int) - Method in class net.sf.javabdd.UberMicroFactory
 
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.
size() - Method in class net.sf.javabdd.BDDFactoryIntImpl.IntBDDVarSet
 
size() - Method in class net.sf.javabdd.BDDVarSet.DefaultImpl
 
size() - Method in class net.sf.javabdd.BDDVarSet
 
size() - Method in class net.sf.javabdd.BitString
Returns the number of bits of space actually in use by this BitString to represent bit values.
size() - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDDVarSet
 
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.BDDFactoryIntImpl.IntBDD
 
support() - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDD
 
support_impl(int) - Method in class net.sf.javabdd.BDDFactoryIntImpl
 
support_impl(int) - Method in class net.sf.javabdd.BuDDyFactory
 
support_impl(int) - Method in class net.sf.javabdd.JDDFactory
 
support_impl(int) - Method in class net.sf.javabdd.JFactory
 
support_impl(int) - Method in class net.sf.javabdd.MicroFactory
 
support_impl(int) - Method in class net.sf.javabdd.UberMicroFactory
 
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.MicroFactory
 
swapVar(int, int) - Method in class net.sf.javabdd.TestBDDFactory
 
swapVar(int, int) - Method in class net.sf.javabdd.TypedBDDFactory
 
swapVar(int, int) - Method in class net.sf.javabdd.UberMicroFactory
 

T

TestBDDFactory - Class in net.sf.javabdd
This BDD factory is used to test other BDD factories.
TestBDDFactory(BDDFactory, BDDFactory) - Constructor for class net.sf.javabdd.TestBDDFactory
 
time - Variable in class net.sf.javabdd.BDDFactory.GCStats
 
time - Variable in class net.sf.javabdd.BDDFactory.ReorderStats
 
to_free - Variable in class net.sf.javabdd.BDDFactoryIntImpl
 
to_free_length - Variable in class net.sf.javabdd.BDDFactoryIntImpl
 
toArray() - Method in class net.sf.javabdd.BDDFactoryIntImpl.IntBDDVarSet
 
toArray() - Method in class net.sf.javabdd.BDDVarSet.DefaultImpl
 
toArray() - Method in class net.sf.javabdd.BDDVarSet
 
toArray() - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDDVarSet
 
toBDD() - Method in class net.sf.javabdd.BDDFactoryIntImpl.IntBDDVarSet
 
toBDD() - Method in class net.sf.javabdd.BDDVarSet.DefaultImpl
 
toBDD() - Method in class net.sf.javabdd.BDDVarSet
 
toBDD() - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDDVarSet
 
tokenizer - Variable in class net.sf.javabdd.BDDFactory
Used for tokenization during loading.
toLevelArray() - Method in class net.sf.javabdd.BDDFactoryIntImpl.IntBDDVarSet
 
toLevelArray() - Method in class net.sf.javabdd.BDDVarSet.DefaultImpl
 
toLevelArray() - Method in class net.sf.javabdd.BDDVarSet
 
toLevelArray() - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDDVarSet
 
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
 
toString() - Method in class net.sf.javabdd.BDDFactory.ReorderStats
 
toString() - Method in class net.sf.javabdd.BDDVarSet
 
toString() - Method in class net.sf.javabdd.BitString
Converts the BitString to a String.
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.
toVarSet() - Method in class net.sf.javabdd.BDD
Converts this BDD to a new BDDVarSet.
toVarSet() - Method in class net.sf.javabdd.BDDFactoryIntImpl.IntBDD
 
toVarSet() - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDD
 
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.
TryVarOrder - Class in net.sf.javabdd
TryVarOrder
TryVarOrder(int, int, int, long, long) - Constructor for class net.sf.javabdd.TryVarOrder
Construct a new TryVarOrder.
TryVarOrder.BDDOperation - Class in net.sf.javabdd
 
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 in net.sf.javabdd
 
TypedBDDFactory - Class in net.sf.javabdd
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 in net.sf.javabdd
A BDD with types (domains) attached to it.
TypedBDDFactory.TypedBDD(BDD, Set) - Constructor for class net.sf.javabdd.TypedBDDFactory.TypedBDD
 
TypedBDDFactory.TypedBDDVarSet - Class in net.sf.javabdd
 
TypedBDDFactory.TypedBDDVarSet(BDDVarSet, Set) - Constructor for class net.sf.javabdd.TypedBDDFactory.TypedBDDVarSet
 

U

UberMicroFactory - Class in net.sf.javabdd
BDD factory where each node only takes 16 bytes.
UberMicroFactory.Micro5VarSet - Class in net.sf.javabdd
 
UberMicroFactory.PairOfInts - Class in net.sf.javabdd
 
UberMicroFactory.PairOfInts(int, int) - Constructor for class net.sf.javabdd.UberMicroFactory.PairOfInts
 
UberMicroFactory.QuadOfInts - Class in net.sf.javabdd
 
UberMicroFactory.QuadOfInts(int, int, int, int) - Constructor for class net.sf.javabdd.UberMicroFactory.QuadOfInts
 
UberMicroFactory.TripleOfInts - Class in net.sf.javabdd
 
UberMicroFactory.TripleOfInts(int, int, int) - Constructor for class net.sf.javabdd.UberMicroFactory.TripleOfInts
 
union(BDDVarSet) - Method in class net.sf.javabdd.BDDFactoryIntImpl.IntBDDVarSet
 
union(int) - Method in class net.sf.javabdd.BDDFactoryIntImpl.IntBDDVarSet
 
union(BDDVarSet) - Method in class net.sf.javabdd.BDDVarSet.DefaultImpl
 
union(int) - Method in class net.sf.javabdd.BDDVarSet.DefaultImpl
 
union(BDDVarSet) - Method in class net.sf.javabdd.BDDVarSet
Returns a new BDDVarSet that is the union of the current BDDVarSet and the given BDDVarSet.
union(int) - Method in class net.sf.javabdd.BDDVarSet
Returns a new BDDVarSet that is the union of the current BDDVarSet and the given variable.
union(BDDVarSet) - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDDVarSet
 
union(int) - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDDVarSet
 
unionWith(BDDVarSet) - Method in class net.sf.javabdd.BDDFactoryIntImpl.IntBDDVarSet
 
unionWith(int) - Method in class net.sf.javabdd.BDDFactoryIntImpl.IntBDDVarSet
 
unionWith(BDDVarSet) - Method in class net.sf.javabdd.BDDVarSet.DefaultImpl
 
unionWith(int) - Method in class net.sf.javabdd.BDDVarSet.DefaultImpl
 
unionWith(BDDVarSet) - Method in class net.sf.javabdd.BDDVarSet
Modifies this BDDVarSet to include all of the vars in the given set.
unionWith(int) - Method in class net.sf.javabdd.BDDVarSet
Modifies this BDDVarSet to include the given variable.
unionWith(BDDVarSet) - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDDVarSet
 
unionWith(int) - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDDVarSet
 
unique(BDDVarSet) - Method in class net.sf.javabdd.BDD
Unique quantification of variables.
unique(BDDVarSet) - Method in class net.sf.javabdd.BDDFactoryIntImpl.IntBDD
 
unique(BDDVarSet) - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDD
 
unique_impl(int, int) - Method in class net.sf.javabdd.BDDFactoryIntImpl
 
unique_impl(int, int) - Method in class net.sf.javabdd.BuDDyFactory
 
unique_impl(int, int) - Method in class net.sf.javabdd.JDDFactory
 
unique_impl(int, int) - Method in class net.sf.javabdd.JFactory
 
unique_impl(int, int) - Method in class net.sf.javabdd.MicroFactory
 
unique_impl(int, int) - Method in class net.sf.javabdd.UberMicroFactory
 
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
 
universe() - Method in class net.sf.javabdd.BDDFactory
Get the constant universe BDD.
universe() - Method in class net.sf.javabdd.BDDFactoryIntImpl
 
universe() - Method in class net.sf.javabdd.TestBDDFactory
 
universe_impl() - Method in class net.sf.javabdd.BDDFactoryIntImpl
 
universe_impl() - Method in class net.sf.javabdd.JFactory
 
unregisterCallback(List, Object, Method) - Method in class net.sf.javabdd.BDDFactory
 
unregisterGCCallback(Object, Method) - Method in class net.sf.javabdd.BDDFactory
Unregister a garbage collection callback that was previously registered.
unregisterGCCallback(Object, Method) - Method in class net.sf.javabdd.JDDFactory
 
unregisterReorderCallback(Object, Method) - Method in class net.sf.javabdd.BDDFactory
Unregister a reorder callback that was previously registered.
unregisterReorderCallback(Object, Method) - Method in class net.sf.javabdd.JDDFactory
 
unregisterResizeCallback(Object, Method) - Method in class net.sf.javabdd.BDDFactory
Unregister a reorder callback that was previously registered.
unregisterResizeCallback(Object, Method) - Method in class net.sf.javabdd.JDDFactory
 
unwrap(BDD) - Static method in class net.sf.javabdd.BDDFactoryIntImpl
 
unwrap(Collection) - Static method in class net.sf.javabdd.BDDFactoryIntImpl
 
unwrap(BDDVarSet) - Static method in class net.sf.javabdd.BDDFactoryIntImpl
 
usednum_after - Variable in class net.sf.javabdd.BDDFactory.ReorderStats
 
usednum_before - Variable in class net.sf.javabdd.BDDFactory.ReorderStats
 
useLevel - Variable in class net.sf.javabdd.BDD.AllSatIterator
 

V

v - Variable in class net.sf.javabdd.BDDFactoryIntImpl.IntBDD
 
val() - Method in class net.sf.javabdd.BDDBitVector
 
validateAll() - Method in class net.sf.javabdd.JFactory
 
validateAll() - Method in class net.sf.javabdd.MicroFactory
 
validateAll() - Method in class net.sf.javabdd.UberMicroFactory
 
validateBDD(BDD) - Method in class net.sf.javabdd.JFactory
 
validateBDD(BDD) - Method in class net.sf.javabdd.MicroFactory
 
validateBDD(BDD) - Method in class net.sf.javabdd.UberMicroFactory
 
validateLive() - Method in class net.sf.javabdd.UberMicroFactory
 
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.BDDFactoryIntImpl.IntBDD
 
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.MicroFactory
 
var2Level(int) - Method in class net.sf.javabdd.TestBDDFactory
 
var2Level(int) - Method in class net.sf.javabdd.TypedBDDFactory
 
var2Level(int) - Method in class net.sf.javabdd.UberMicroFactory
 
var_impl(int) - Method in class net.sf.javabdd.BDDFactoryIntImpl
 
var_impl(int) - Method in class net.sf.javabdd.BuDDyFactory
 
var_impl(int) - Method in class net.sf.javabdd.JDDFactory
 
var_impl(int) - Method in class net.sf.javabdd.JFactory
 
var_impl(int) - Method in class net.sf.javabdd.MicroFactory
 
var_impl(int) - Method in class net.sf.javabdd.UberMicroFactory
 
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.MicroFactory
 
varBlockAll() - Method in class net.sf.javabdd.TestBDDFactory
 
varBlockAll() - Method in class net.sf.javabdd.TypedBDDFactory
 
varBlockAll() - Method in class net.sf.javabdd.UberMicroFactory
 
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.MicroFactory
 
varNum() - Method in class net.sf.javabdd.TestBDDFactory
 
varNum() - Method in class net.sf.javabdd.TypedBDDFactory
 
varNum() - Method in class net.sf.javabdd.UberMicroFactory
 
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.BDDFactoryIntImpl.IntBDD
 
varProfile() - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDD
 
varProfile_impl(int) - Method in class net.sf.javabdd.BDDFactoryIntImpl
 
varProfile_impl(int) - Method in class net.sf.javabdd.BuDDyFactory
 
varProfile_impl(int) - Method in class net.sf.javabdd.JDDFactory
 
varProfile_impl(int) - Method in class net.sf.javabdd.JFactory
 
varProfile_impl(int) - Method in class net.sf.javabdd.MicroFactory
 
varProfile_impl(int) - Method in class net.sf.javabdd.UberMicroFactory
 
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.BDDFactoryIntImpl.IntBDD
 
veccompose(BDDPairing) - Method in class net.sf.javabdd.TypedBDDFactory.TypedBDD
 
veccompose_impl(int, BDDPairing) - Method in class net.sf.javabdd.BDDFactoryIntImpl
 
veccompose_impl(int, BDDPairing) - Method in class net.sf.javabdd.BuDDyFactory
 
veccompose_impl(int, BDDPairing) - Method in class net.sf.javabdd.JDDFactory
 
veccompose_impl(int, BDDPairing) - Method in class net.sf.javabdd.JFactory
 
veccompose_impl(int, BDDPairing) - Method in class net.sf.javabdd.MicroFactory
 
veccompose_impl(int, BDDPairing) - Method in class net.sf.javabdd.UberMicroFactory
 

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'.
xor(BitString) - Method in class net.sf.javabdd.BitString
Logically XORs this bit set with the specified set of bits.
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.BDDFactoryIntImpl
 
zero() - Method in class net.sf.javabdd.CALFactory
 
zero() - Method in class net.sf.javabdd.CUDDFactory
 
zero() - Method in class net.sf.javabdd.TestBDDFactory
 
zero() - Method in class net.sf.javabdd.TypedBDDFactory
 
zero_impl() - Method in class net.sf.javabdd.BDDFactoryIntImpl
 
zero_impl() - Method in class net.sf.javabdd.BuDDyFactory
 
zero_impl() - Method in class net.sf.javabdd.JDDFactory
 
zero_impl() - Method in class net.sf.javabdd.JFactory
 
zero_impl() - Method in class net.sf.javabdd.MicroFactory
 
zero_impl() - Method in class net.sf.javabdd.UberMicroFactory
 
zeroIterator() - Method in class net.sf.javabdd.BitString
 

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-2007 John Whaley. All Rights Reserved.