Index (JavaBDD 8.0.0 API)

A B C D E F G H I J L M N O P R S T U V W X Z
All Classes and Interfaces|All Packages|Serialized Form

A

add(BDDBitVector) - Method in class com.github.javabdd.BDDBitVector
addref_impl(int) - Method in class com.github.javabdd.BDDFactoryIntImpl
addref_impl(int) - Method in class com.github.javabdd.JFactory
addVarBlock(int, int, boolean) - Method in class com.github.javabdd.BDDFactory: Adds a new variable block for reordering.
addVarBlock(int, int, boolean) - Method in class com.github.javabdd.JFactory
addVarBlock(BDDVarSet, boolean) - Method in class com.github.javabdd.BDDFactory: Adds a new variable block for reordering.
allsat() - Method in class com.github.javabdd.BDD: Finds all satisfying variable assignments.
AllSatIterator(BDD) - Constructor for class com.github.javabdd.BDD.AllSatIterator: Constructs a satisfying-assignment iterator on the given BDD.
AllSatIterator(BDDFactory, boolean) - Constructor for class com.github.javabdd.BDD.AllSatIterator
AllSatIterator(BDD, boolean) - Constructor for class com.github.javabdd.BDD.AllSatIterator: Constructs a satisfying-assignment iterator on the given BDD.
allsatProfile - Variable in class com.github.javabdd.BDD.AllSatIterator
and - Static variable in class com.github.javabdd.BDDFactory: Logical 'and'.
and(BDD) - Method in class com.github.javabdd.BDD: Returns the logical 'and' of two BDDs.
and(BitString) - Method in class com.github.javabdd.BitString: Logically ANDs this bit set with the specified set of bits.
andWith(BDD) - Method in class com.github.javabdd.BDD: Makes this BDD be the logical 'and' of two BDDs.
apply(BDD, BDDFactory.BDDOp) - Method in class com.github.javabdd.BDD: Returns the result of applying the binary operator opr to the two BDDs.
apply(BDD, BDDFactory.BDDOp) - Method in class com.github.javabdd.BDDFactoryIntImpl.IntBDD
apply_impl(int, int, BDDFactory.BDDOp) - Method in class com.github.javabdd.BDDFactoryIntImpl
apply_impl(int, int, BDDFactory.BDDOp) - Method in class com.github.javabdd.JFactory
applyAll(BDD, BDDFactory.BDDOp, BDDVarSet) - Method in class com.github.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 com.github.javabdd.BDDFactoryIntImpl.IntBDD
applyAll_impl(int, int, BDDFactory.BDDOp, int) - Method in class com.github.javabdd.BDDFactoryIntImpl
applyAll_impl(int, int, BDDFactory.BDDOp, int) - Method in class com.github.javabdd.JFactory
applyEx(BDD, BDDFactory.BDDOp, BDDVarSet) - Method in class com.github.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 com.github.javabdd.BDDFactoryIntImpl.IntBDD
applyEx_impl(int, int, BDDFactory.BDDOp, int) - Method in class com.github.javabdd.BDDFactoryIntImpl
applyEx_impl(int, int, BDDFactory.BDDOp, int) - Method in class com.github.javabdd.JFactory
applyUni(BDD, BDDFactory.BDDOp, BDDVarSet) - Method in class com.github.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 com.github.javabdd.BDDFactoryIntImpl.IntBDD
applyUni_impl(int, int, BDDFactory.BDDOp, int) - Method in class com.github.javabdd.BDDFactoryIntImpl
applyUni_impl(int, int, BDDFactory.BDDOp, int) - Method in class com.github.javabdd.JFactory
applyWith(BDD, BDDFactory.BDDOp) - Method in class com.github.javabdd.BDD: Makes this BDD be the result of the binary operator opr of two BDDs.
applyWith(BDD, BDDFactory.BDDOp) - Method in class com.github.javabdd.BDDFactoryIntImpl.IntBDD
autoReorder(BDDFactory.ReorderMethod) - Method in class com.github.javabdd.BDDFactory: Enables automatic reordering.
autoReorder(BDDFactory.ReorderMethod) - Method in class com.github.javabdd.JFactory
autoReorder(BDDFactory.ReorderMethod, int) - Method in class com.github.javabdd.BDDFactory: Enables automatic reordering with the given (maximum) number of reorderings.
autoReorder(BDDFactory.ReorderMethod, int) - Method in class com.github.javabdd.JFactory

B

b - Variable in class com.github.javabdd.BDDVarSet.DefaultImpl: BDD representation of the set of variables.
backwardsIterator() - Method in class com.github.javabdd.BitString: Returns an iterator that iterates through the bits in backward order.
backwardsIterator(int) - Method in class com.github.javabdd.BitString: Returns an iterator that iterates through the bits in backward order, starting at the given index.
BDD - Class in com.github.javabdd: Binary Decision Diagrams (BDDs) are used for efficient computation of many common problems.
BDD() - Constructor for class com.github.javabdd.BDD: Protected constructor.
BDD.AllSatIterator - Class in com.github.javabdd: Iterator that returns all satisfying assignments as byte arrays.
BDD.BDDIterator - Class in com.github.javabdd: BDDIterator is used to iterate through the satisfying assignments of a BDD.
BDD.BDDToString - Class in com.github.javabdd: BDDToString is used to specify the printing behavior of BDDs with domains.
BDDBitVector - Class in com.github.javabdd: Bit vector implementation for BDDs.
BDDBitVector(int) - Constructor for class com.github.javabdd.BDDBitVector
BDDDomain - Class in com.github.javabdd: Represents a domain of BDD variables.
BDDDomain(int, BigInteger) - Constructor for class com.github.javabdd.BDDDomain: Default constructor.
BDDException - Exception in com.github.javabdd: An exception caused by an invalid BDD operation.
BDDException() - Constructor for exception com.github.javabdd.BDDException
BDDException(String) - Constructor for exception com.github.javabdd.BDDException
BDDFactory - Class in com.github.javabdd: Interface for the creation and manipulation of BDDs.
BDDFactory() - Constructor for class com.github.javabdd.BDDFactory: Construct a new BDDFactory.
BDDFactory.BDDOp - Class in com.github.javabdd: Enumeration class for binary operations on BDDs.
BDDFactory.CacheStats - Class in com.github.javabdd: Stores statistics about the operator cache.
BDDFactory.CacheStatsCallback - Interface in com.github.javabdd: Operator cache statistics callback.
BDDFactory.ContinuousStatsCallback - Interface in com.github.javabdd: Continuously BDD nodes usage and BDD operations statistics callback.
BDDFactory.GCStats - Class in com.github.javabdd: Stores statistics about garbage collections.
BDDFactory.GCStatsCallback - Interface in com.github.javabdd: Garbage collection statistics callback.
BDDFactory.LoadHash - Class in com.github.javabdd: LoadHash is used to hash during loading.
BDDFactory.MaxMemoryStats - Class in com.github.javabdd: Stores statistics about the maximum memory usage.
BDDFactory.MaxMemoryStatsCallback - Interface in com.github.javabdd: Maximum memory usage statistics callback.
BDDFactory.MaxUsedBddNodesStats - Class in com.github.javabdd: Stores statistics about the maximum BDD nodes usage.
BDDFactory.MaxUsedBddNodesStatsCallback - Interface in com.github.javabdd: Maximum BDD nodes usage statistics callback.
BDDFactory.ReorderMethod - Class in com.github.javabdd: Enumeration class for method reordering techniques.
BDDFactory.ReorderStats - Class in com.github.javabdd: Stores statistics about the last variable reordering.
BDDFactory.ReorderStatsCallback - Interface in com.github.javabdd: Variable reorder statistics callback.
BDDFactory.ResizeStatsCallback - Interface in com.github.javabdd: Node table resize statistics callback.
BDDFactoryIntImpl - Class in com.github.javabdd: A shared superclass for BDD factories that refer to BDDs as ints.
BDDFactoryIntImpl() - Constructor for class com.github.javabdd.BDDFactoryIntImpl
BDDFactoryIntImpl.IntBDD - Class in com.github.javabdd
BDDFactoryIntImpl.IntBDDBitVector - Class in com.github.javabdd
BDDFactoryIntImpl.IntBDDVarSet - Class in com.github.javabdd
BDDFactoryIntImpl.IntBDDVarSetWithFinalizer - Class in com.github.javabdd
BDDFactoryIntImpl.IntBDDWithFinalizer - Class in com.github.javabdd
BDDFactoryIntImpl.IntZDDVarSet - Class in com.github.javabdd
BDDFactoryIntImpl.IntZDDVarSetWithFinalizer - Class in com.github.javabdd
BDDIterator(BDD, BDDVarSet) - Constructor for class com.github.javabdd.BDD.BDDIterator: Construct a new BDDIterator on the given BDD.
BDDOperation() - Constructor for class com.github.javabdd.TryVarOrder.BDDOperation
BDDOperation(int, String, String, String) - Constructor for class com.github.javabdd.TryVarOrder.BDDOperation
BDDPairing - Class in com.github.javabdd: Encodes a table of variable pairs.
BDDPairing() - Constructor for class com.github.javabdd.BDDPairing
BDDToString() - Constructor for class com.github.javabdd.BDD.BDDToString: Protected constructor.
BDDVarSet - Class in com.github.javabdd: Some BDD methods, namely exist(), forall(), unique(), relprod(), applyAll(), applyEx(), applyUni(), and satCount() take a BDDVarSet argument.
BDDVarSet() - Constructor for class com.github.javabdd.BDDVarSet
BDDVarSet.DefaultImpl - Class in com.github.javabdd: Default implementation of BDDVarSet based on BDDs.
biimp - Static variable in class com.github.javabdd.BDDFactory: Logical 'bi-implication'.
biimp(BDD) - Method in class com.github.javabdd.BDD: Returns the logical 'bi-implication' of two BDDs.
biimpWith(BDD) - Method in class com.github.javabdd.BDD: Makes this BDD be the logical 'bi-implication' of two BDDs.
BitString - Class in com.github.javabdd: BitString implements a vector of bits much like java.util.BitSet, except that this implementation actually works.
BitString(int) - Constructor for class com.github.javabdd.BitString: Creates an empty string with the specified size.
BitString.BackwardBitStringIterator - Class in com.github.javabdd: Iterator for iterating through a bit string in backward order.
BitString.BitStringIterator - Class in com.github.javabdd: Abstract bit string iterator class.
BitString.ForwardBitStringIterator - Class in com.github.javabdd: Iterator for iterating through a bit string in forward order.
BitString.ForwardBitStringZeroIterator - Class in com.github.javabdd: Iterator for iterating through a bit string in forward order.
BitStringIterator() - Constructor for class com.github.javabdd.BitString.BitStringIterator
bitvec - Variable in class com.github.javabdd.BDDBitVector
boundedSaturationBackward(BDD, List<BDD>, List<BDDVarSet>, int) - Method in class com.github.javabdd.BDD: Computes the set of all backward reachable states like BDD.saturationBackward(List, List, int) while bounding the set of states to consider during the exploration by the given BDD predicate bound.
boundedSaturationBackward(BDD, List<BDD>, List<BDDVarSet>, int) - Method in class com.github.javabdd.BDDFactoryIntImpl.IntBDD
boundedSaturationBackward_impl(int, int, int[], int[], int) - Method in class com.github.javabdd.BDDFactoryIntImpl
boundedSaturationBackward_impl(int, int, int[], int[], int) - Method in class com.github.javabdd.JFactory
boundedSaturationForward(BDD, List<BDD>, List<BDDVarSet>, int) - Method in class com.github.javabdd.BDD: Computes the set of all forward reachable states like BDD.saturationForward(List, List, int) while bounding the set of states to consider during the exploration by the given BDD predicate bound.
boundedSaturationForward(BDD, List<BDD>, List<BDDVarSet>, int) - Method in class com.github.javabdd.BDDFactoryIntImpl.IntBDD
boundedSaturationForward_impl(int, int, int[], int[], int) - Method in class com.github.javabdd.BDDFactoryIntImpl
boundedSaturationForward_impl(int, int, int[], int[], int) - Method in class com.github.javabdd.JFactory
bsf(int) - Static method in class com.github.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 com.github.javabdd.BitString: Utility function to return the index of the last one bit in the given integer.
buildAdd(BDDDomain, int, long) - Method in class com.github.javabdd.BDDDomain
buildAdd(BDDDomain, long) - Method in class com.github.javabdd.BDDDomain
buildCube(int, int[]) - Method in class com.github.javabdd.BDDFactory: Build a cube from an array of variables.
buildCube(int, List<BDD>) - Method in class com.github.javabdd.BDDFactory: Build a cube from an array of variables.
buildEquals(BDDDomain) - Method in class com.github.javabdd.BDDDomain: Builds a BDD which is true for all the possible assignments to the variable blocks that makes the blocks equal.
buildVector(int[]) - Method in class com.github.javabdd.BDDFactory: Build a bit vector using the given variables.
buildVector(int, boolean) - Method in class com.github.javabdd.BDDFactory: Build a bit vector that is constant true or constant false.
buildVector(int, int, int) - Method in class com.github.javabdd.BDDFactory: Build a bit vector using variables offset, offset+step, offset+2*step, ...
buildVector(BDDDomain) - Method in class com.github.javabdd.BDDFactory: Build a bit vector using variables from the given BDD domain.

C

cache(BDDFactory.CacheStats) - Method in interface com.github.javabdd.BDDFactory.CacheStatsCallback: Operator cache statistics callback.
cacheCallbacks - Variable in class com.github.javabdd.BDDFactory: The registered operator cache statistics callbacks, or null if none registered.
cachestats - Variable in class com.github.javabdd.BDDFactory: Singleton object for operator cache statistics.
CacheStats() - Constructor for class com.github.javabdd.BDDFactory.CacheStats
cleanup() - Method in class com.github.javabdd.FindBestOrder
cleanup() - Method in class com.github.javabdd.TryVarOrder: Clean up the temporary files.
clear(int) - Method in class com.github.javabdd.BitString: Clears a bit.
clearAll() - Method in class com.github.javabdd.BitString: Clears all bits.
clearAllDomains() - Method in class com.github.javabdd.BDDFactory: Clear all allocated finite domain blocks that were defined by extDomain() or overlapDomain().
clearError() - Method in class com.github.javabdd.BDDFactory: Clears any outstanding error condition.
clearError() - Method in class com.github.javabdd.JFactory
clearUpTo(int) - Method in class com.github.javabdd.BitString: Clears all bits up to and including the given bit.
clearVarBlocks() - Method in class com.github.javabdd.BDDFactory: Clears all the variable blocks that have been defined by calls to addVarBlock.
clearVarBlocks() - Method in class com.github.javabdd.JFactory
clone() - Method in class com.github.javabdd.BitString: Clones the BitString.
cloneFactory() - Method in class com.github.javabdd.JFactory
coerce(int) - Method in class com.github.javabdd.BDDBitVector
com.github.javabdd - module com.github.javabdd
com.github.javabdd - package com.github.javabdd
compose(BDD, int) - Method in class com.github.javabdd.BDD: Functional composition.
compose(BDD, int) - Method in class com.github.javabdd.BDDFactoryIntImpl.IntBDD
compose_impl(int, int, int) - Method in class com.github.javabdd.BDDFactoryIntImpl
compose_impl(int, int, int) - Method in class com.github.javabdd.JFactory
constantVector(int, long) - Method in class com.github.javabdd.BDDFactory: Build a bit vector that corresponds to a constant value.
constantVector(int, BigInteger) - Method in class com.github.javabdd.BDDFactory
constrain(BDD) - Method in class com.github.javabdd.BDD: Generalized cofactor.
constrain(BDD) - Method in class com.github.javabdd.BDDFactoryIntImpl.IntBDD
constrain_impl(int, int) - Method in class com.github.javabdd.BDDFactoryIntImpl
constrain_impl(int, int) - Method in class com.github.javabdd.JFactory
contains(BitString) - Method in class com.github.javabdd.BitString: Check if this set contains all bits of the given set.
continuous(int, long) - Method in interface com.github.javabdd.BDDFactory.ContinuousStatsCallback: Continuously BDD nodes usage and BDD operations statistics callback.
continuousCallbacks - Variable in class com.github.javabdd.BDDFactory: The registered continuously BDD nodes usage and BDD operations statistics callbacks, or null if none registered.
copy() - Method in class com.github.javabdd.BDDBitVector
copyBits(BitString) - Method in class com.github.javabdd.BitString: Copies the values of the bits in the specified set into this set.
copyNode(BDD) - Method in class com.github.javabdd.JFactory: Use this function to translate BDD's from a JavaFactory into its clone.
createBitVector(int) - Method in class com.github.javabdd.BDDFactory: Implementors must implement this factory method to create BDDBitVector objects of the correct type.
createDomain(int, BigInteger) - Method in class com.github.javabdd.BDDFactory: Implementors must implement this factory method to create BDDDomain objects of the correct type.

D

defaultCacheStatsCallback(BDDFactory.CacheStats) - Static method in class com.github.javabdd.BDDFactory: Default operator cache statistics callback.
defaultContinuousStatsCallback(int, long) - Static method in class com.github.javabdd.BDDFactory: Default continuously BDD nodes usage and BDD operations statistics callback.
defaultGcStatsCallback(BDDFactory.GCStats, boolean) - Static method in class com.github.javabdd.BDDFactory: Default garbage collection statistics callback.
DefaultImpl(BDD) - Constructor for class com.github.javabdd.BDDVarSet.DefaultImpl: Construct a BDDVarSet backed by the given BDD.
defaultMaxMemoryStatsCallback(BDDFactory.MaxMemoryStats) - Static method in class com.github.javabdd.BDDFactory: Default maximum memory usage statistics callback.
defaultMaxUsedBddNodesStatsCallback(BDDFactory.MaxUsedBddNodesStats) - Static method in class com.github.javabdd.BDDFactory: Default maximum BDD nodes usage statistics callback.
defaultReorderStatsCallback(BDDFactory.ReorderStats, boolean) - Static method in class com.github.javabdd.BDDFactory: Default variable reorder statistics callback.
defaultResizeStatsCallback(int, int) - Static method in class com.github.javabdd.BDDFactory: Default node table resize statistics callback.
deferredFree(int) - Method in class com.github.javabdd.BDDFactoryIntImpl
delref_impl(int) - Method in class com.github.javabdd.BDDFactoryIntImpl
delref_impl(int) - Method in class com.github.javabdd.JFactory
diff - Static variable in class com.github.javabdd.BDDFactory: Set difference.
disableMeasurements() - Method in class com.github.javabdd.BDDFactory.CacheStats
disableMeasurements() - Method in class com.github.javabdd.BDDFactory.MaxMemoryStats
disableMeasurements() - Method in class com.github.javabdd.BDDFactory.MaxUsedBddNodesStats
disableReorder() - Method in class com.github.javabdd.BDDFactory: Disable automatic reordering until enableReorder is called.
disableReorder() - Method in class com.github.javabdd.JFactory
divmod(long, boolean) - Method in class com.github.javabdd.BDDBitVector
do_intersect(int, int) - Method in class com.github.javabdd.BDDFactoryIntImpl.IntBDDVarSet
do_intersect(int, int) - Method in class com.github.javabdd.BDDFactoryIntImpl.IntZDDVarSet
do_union(int, int) - Method in class com.github.javabdd.BDDFactoryIntImpl.IntBDDVarSet
do_union(int, int) - Method in class com.github.javabdd.BDDFactoryIntImpl.IntZDDVarSet
do_unionvar(int, int) - Method in class com.github.javabdd.BDDFactoryIntImpl.IntBDDVarSet
do_unionvar(int, int) - Method in class com.github.javabdd.BDDFactoryIntImpl.IntZDDVarSet
doIt() - Method in class com.github.javabdd.TryVarOrder.BDDOperation
domain - Variable in class com.github.javabdd.BDDFactory
domain() - Method in class com.github.javabdd.BDDDomain: Returns what corresponds to a disjunction of all possible values of this domain.
done() - Method in class com.github.javabdd.BDDFactory: This function frees all memory used by the BDD package and resets the package to its uninitialized state.
done() - Method in class com.github.javabdd.BDDFactoryIntImpl
done() - Method in class com.github.javabdd.JFactory

E

elementName(int, BigInteger) - Method in class com.github.javabdd.BDD.BDDToString: Given a domain index and an element index, return the element's name.
elementNames(int, BigInteger, BigInteger) - Method in class com.github.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 com.github.javabdd.BDDFactory: Get an empty BDDVarSet.
emptySet() - Method in class com.github.javabdd.BDDFactoryIntImpl
enabled - Variable in class com.github.javabdd.BDDFactory.CacheStats
enabled - Variable in class com.github.javabdd.BDDFactory.MaxMemoryStats
enabled - Variable in class com.github.javabdd.BDDFactory.MaxUsedBddNodesStats
enableMeasurements() - Method in class com.github.javabdd.BDDFactory.CacheStats
enableMeasurements() - Method in class com.github.javabdd.BDDFactory.MaxMemoryStats
enableMeasurements() - Method in class com.github.javabdd.BDDFactory.MaxUsedBddNodesStats
enableReorder() - Method in class com.github.javabdd.BDDFactory: Enable automatic reordering after a call to disableReorder.
enableReorder() - Method in class com.github.javabdd.JFactory
ensureCapacity(long) - Method in class com.github.javabdd.BDDDomain
ensureCapacity(BigInteger) - Method in class com.github.javabdd.BDDDomain
equals(Object) - Method in class com.github.javabdd.BDD
equals(Object) - Method in class com.github.javabdd.BDDVarSet
equals(Object) - Method in class com.github.javabdd.BitString: Compares this object against the specified object.
equalsBDD(BDD) - Method in class com.github.javabdd.BDD: Returns true if this BDD equals that BDD, false otherwise.
equalsBDD(BDD) - Method in class com.github.javabdd.BDDFactoryIntImpl.IntBDD
equalsBDDVarSet(BDDVarSet) - Method in class com.github.javabdd.BDDFactoryIntImpl.IntBDDVarSet
equalsBDDVarSet(BDDVarSet) - Method in class com.github.javabdd.BDDVarSet.DefaultImpl
equalsBDDVarSet(BDDVarSet) - Method in class com.github.javabdd.BDDVarSet: Returns true if the sets are equal.
equalsDefaultImpl(BDDVarSet.DefaultImpl) - Method in class com.github.javabdd.BDDVarSet.DefaultImpl
exist(BDDVarSet) - Method in class com.github.javabdd.BDD: Existential quantification of variables.
exist(BDDVarSet) - Method in class com.github.javabdd.BDDFactoryIntImpl.IntBDD
exist_impl(int, int) - Method in class com.github.javabdd.BDDFactoryIntImpl
exist_impl(int, int) - Method in class com.github.javabdd.JFactory
extDomain(int[]) - Method in class com.github.javabdd.BDDFactory: Extends the set of finite domain blocks with domains of the given sizes.
extDomain(long) - Method in class com.github.javabdd.BDDFactory: Creates a new finite domain block of the given size.
extDomain(long[]) - Method in class com.github.javabdd.BDDFactory
extDomain(BigInteger) - Method in class com.github.javabdd.BDDFactory
extDomain(BigInteger[]) - Method in class com.github.javabdd.BDDFactory
extVarNum(int) - Method in class com.github.javabdd.BDDFactory: Add extra BDD variables.

F

f - Variable in class com.github.javabdd.BDD.AllSatIterator
fastForward(int) - Method in class com.github.javabdd.BDD.BDDIterator: Fast-forward the iteration such that the given variable number is true.
fastForward(int[]) - Method in class com.github.javabdd.BDD.BDDIterator: Fast-forward the iteration such that the given set of variables are true.
fdvarnum - Variable in class com.github.javabdd.BDDFactory
finalize() - Method in class com.github.javabdd.BDDFactoryIntImpl
finalize() - Method in class com.github.javabdd.BDDFactoryIntImpl.IntBDDVarSetWithFinalizer
finalize() - Method in class com.github.javabdd.BDDFactoryIntImpl.IntBDDWithFinalizer
finalize() - Method in class com.github.javabdd.BDDFactoryIntImpl.IntZDDVarSetWithFinalizer
FindBestOrder - Class in com.github.javabdd: Find best order.
FindBestOrder(int, int, int, long, long) - Constructor for class com.github.javabdd.FindBestOrder
FindBestOrder.TryThread - Class in com.github.javabdd
firstbddvar - Variable in class com.github.javabdd.BDDFactory
firstSet() - Method in class com.github.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 com.github.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 com.github.javabdd.JFactory: Flush the operation cache on every garbage collection.
forAll(BDDVarSet) - Method in class com.github.javabdd.BDD: Universal quantification of variables.
forAll(BDDVarSet) - Method in class com.github.javabdd.BDDFactoryIntImpl.IntBDD
forAll_impl(int, int) - Method in class com.github.javabdd.BDDFactoryIntImpl
forAll_impl(int, int) - Method in class com.github.javabdd.JFactory
free() - Method in class com.github.javabdd.BDD: Frees this BDD.
free() - Method in class com.github.javabdd.BDDBitVector
free() - Method in class com.github.javabdd.BDDFactoryIntImpl.IntBDD
free() - Method in class com.github.javabdd.BDDFactoryIntImpl.IntBDDVarSet
free() - Method in class com.github.javabdd.BDDVarSet.DefaultImpl
free() - Method in class com.github.javabdd.BDDVarSet
free() - Method in class com.github.javabdd.TryVarOrder.BDDOperation
freenodes - Variable in class com.github.javabdd.BDDFactory.GCStats
fullSatOne() - Method in class com.github.javabdd.BDD: Finds one satisfying variable assignment.
fullSatOne() - Method in class com.github.javabdd.BDDFactoryIntImpl.IntBDD
fullSatOne_impl(int) - Method in class com.github.javabdd.BDDFactoryIntImpl
fullSatOne_impl(int) - Method in class com.github.javabdd.JFactory

G

gain() - Method in class com.github.javabdd.BDDFactory.ReorderStats
gc(BDDFactory.GCStats, boolean) - Method in interface com.github.javabdd.BDDFactory.GCStatsCallback: Garbage collection statistics callback.
gcCallbacks - Variable in class com.github.javabdd.BDDFactory: The registered garbage collection statistics callbacks, or null if none registered.
gcstats - Variable in class com.github.javabdd.BDDFactory: Singleton object for GC statistics.
GCStats() - Constructor for class com.github.javabdd.BDDFactory.GCStats
get(int) - Method in class com.github.javabdd.BitString: Gets a bit.
getBestOrder() - Method in class com.github.javabdd.FindBestOrder
getBestOrder() - Method in class com.github.javabdd.TryVarOrder
getBestTime() - Method in class com.github.javabdd.FindBestOrder
getBestTime() - Method in class com.github.javabdd.TryVarOrder
getBit(int) - Method in class com.github.javabdd.BDDBitVector
getBlock(JFactory.BddTree, int, int) - Method in class com.github.javabdd.JFactory
getCacheSize() - Method in class com.github.javabdd.BDDFactory: Get the current size of the cache, in entries.
getCacheSize() - Method in class com.github.javabdd.JFactory
getCacheStats() - Method in class com.github.javabdd.BDDFactory: Return the current operator cache statistics for this BDD factory.
getDomain(int) - Method in class com.github.javabdd.BDDFactory: Returns the ith finite domain block, as defined by calls to extDomain().
getDomains() - Method in class com.github.javabdd.BDDVarSet: Scans this BDD and copies the stored variables into an array of BDDDomains.
getFactory() - Method in class com.github.javabdd.BDD: Returns the factory that created this BDD.
getFactory() - Method in class com.github.javabdd.BDDBitVector
getFactory() - Method in class com.github.javabdd.BDDDomain: Returns the factory that created this domain.
getFactory() - Method in class com.github.javabdd.BDDFactoryIntImpl.IntBDD
getFactory() - Method in class com.github.javabdd.BDDFactoryIntImpl.IntBDDBitVector
getFactory() - Method in class com.github.javabdd.BDDFactoryIntImpl.IntBDDVarSet
getFactory() - Method in class com.github.javabdd.BDDVarSet.DefaultImpl
getFactory() - Method in class com.github.javabdd.BDDVarSet: Returns the factory that created this BDDVarSet.
getIndex() - Method in class com.github.javabdd.BDDDomain: Returns the index of this domain.
getMaxMemoryBytes() - Method in class com.github.javabdd.BDDFactory.MaxMemoryStats
getMaxMemoryStats() - Method in class com.github.javabdd.BDDFactory: Return the current maximum memory usage statistics for this BDD factory.
getMaxUsedBddNodes() - Method in class com.github.javabdd.BDDFactory.MaxUsedBddNodesStats
getMaxUsedBddNodesStats() - Method in class com.github.javabdd.BDDFactory: Return the current maximum used BDD nodes statistics for this BDD factory.
getName() - Method in class com.github.javabdd.BDDDomain: Gets the name of this domain.
getNodeNum() - Method in class com.github.javabdd.BDDFactory: Get the number of active nodes in use.
getNodeNum() - Method in class com.github.javabdd.JFactory
getNodeTableSize() - Method in class com.github.javabdd.BDDFactory: Get the number of allocated nodes.
getNodeTableSize() - Method in class com.github.javabdd.JFactory
getParent(JFactory.BddTree) - Method in class com.github.javabdd.JFactory
getParent(JFactory.BddTree, JFactory.BddTree) - Method in class com.github.javabdd.JFactory
getProperty(String, String) - Static method in class com.github.javabdd.BDDFactory
getReorderMethod() - Method in class com.github.javabdd.BDDFactory: Returns the current reorder method as defined by autoReorder.
getReorderMethod() - Method in class com.github.javabdd.JFactory
getReorderTimes() - Method in class com.github.javabdd.BDDFactory: Returns the number of allowed reorderings left.
getReorderTimes() - Method in class com.github.javabdd.JFactory
getVarIndices(BDD) - Method in class com.github.javabdd.BDDDomain: Convert a BDD that to a list of indices of this domain.
getVarIndices(BDD, int) - Method in class com.github.javabdd.BDDDomain: Convert a BDD that to a list of indices of this domain.
getVarOrder() - Method in class com.github.javabdd.BDDFactory: Gets the current variable order.
gotoNext() - Method in class com.github.javabdd.BDD.BDDIterator
gotoNextA() - Method in class com.github.javabdd.BDD.BDDIterator

H

handleDeferredFree() - Method in class com.github.javabdd.BDDFactoryIntImpl
hasCacheStatsCallback() - Method in class com.github.javabdd.BDDFactory: Returns whether this BDD factory has a registered operator cache statistics callback.
hasContinuousStatsCallback() - Method in class com.github.javabdd.BDDFactory: Returns whether this BDD factory has a registered continuously BDD nodes usage and BDD operations statistics callback.
hasGcStatsCallback() - Method in class com.github.javabdd.BDDFactory: Returns whether this BDD factory has a registered garbage collection statistics callback.
hashCode() - Method in class com.github.javabdd.BDD
hashCode() - Method in class com.github.javabdd.BDDFactoryIntImpl.IntBDD
hashCode() - Method in class com.github.javabdd.BDDFactoryIntImpl.IntBDDVarSet
hashCode() - Method in class com.github.javabdd.BDDVarSet.DefaultImpl
hashCode() - Method in class com.github.javabdd.BDDVarSet
hashCode() - Method in class com.github.javabdd.BitString: Returns a hash code value for this bit string whose value depends only on which bits have been set within this BitString.
hasMaxMemoryStatsCallback() - Method in class com.github.javabdd.BDDFactory: Returns whether this BDD factory has a registered maximum memory usage statistics callback.
hasMaxUsedBddNodesStatsCallback() - Method in class com.github.javabdd.BDDFactory: Returns whether this BDD factory has a registered maximum BDD nodes usage statistics callback.
hasNext() - Method in class com.github.javabdd.BDD.AllSatIterator
hasNext() - Method in class com.github.javabdd.BDD.BDDIterator
hasNext() - Method in class com.github.javabdd.BitString.BackwardBitStringIterator
hasNext() - Method in class com.github.javabdd.BitString.ForwardBitStringIterator
hasNext() - Method in class com.github.javabdd.BitString.ForwardBitStringZeroIterator
hasReorderStatsCallback() - Method in class com.github.javabdd.BDDFactory: Returns whether this BDD factory has a registered variable reorder statistics callback.
hasResizeStatsCallback() - Method in class com.github.javabdd.BDDFactory: Returns whether this BDD factory has a registered node table resize statistics callback.
high() - Method in class com.github.javabdd.BDD: Gets the true branch of this BDD.
high() - Method in class com.github.javabdd.BDDFactoryIntImpl.IntBDD
high_impl(int) - Method in class com.github.javabdd.BDDFactoryIntImpl
high_impl(int) - Method in class com.github.javabdd.JFactory
hiStack - Variable in class com.github.javabdd.BDD.AllSatIterator

I

id() - Method in class com.github.javabdd.BDD: Identity function.
id() - Method in class com.github.javabdd.BDDFactoryIntImpl.IntBDD
id() - Method in class com.github.javabdd.BDDFactoryIntImpl.IntBDDVarSet
id() - Method in class com.github.javabdd.BDDVarSet.DefaultImpl
id() - Method in class com.github.javabdd.BDDVarSet
imp - Static variable in class com.github.javabdd.BDDFactory: Logical 'implication'.
imp(BDD) - Method in class com.github.javabdd.BDD: Returns the logical 'implication' of two BDDs.
impWith(BDD) - Method in class com.github.javabdd.BDD: Makes this BDD be the logical 'implication' of two BDDs.
index - Variable in class com.github.javabdd.BDDDomain
init(int, int) - Static method in class com.github.javabdd.BDDFactory: Initializes a BDD factory with the given initial node table size and operation cache size.
init(int, int) - Static method in class com.github.javabdd.JFactory
init(BDD, BDD, BDD, BDDFactory.BDDOp) - Method in class com.github.javabdd.TryVarOrder: Initialize for a new trial.
init(BDD, BDD, BDDVarSet, BDDFactory.BDDOp) - Method in class com.github.javabdd.FindBestOrder
init(String, int, int) - Static method in class com.github.javabdd.BDDFactory: Initializes a BDD factory of the given type with the given initial node table size and operation cache size.
initialize(boolean) - Method in class com.github.javabdd.BDDBitVector
initialize(int) - Method in class com.github.javabdd.BDDBitVector
initialize(int[]) - Method in class com.github.javabdd.BDDBitVector
initialize(int, int) - Method in class com.github.javabdd.BDDBitVector
initialize(int, int) - Method in class com.github.javabdd.BDDFactory: Compare to bdd_init.
initialize(int, int) - Method in class com.github.javabdd.JFactory
initialize(long) - Method in class com.github.javabdd.BDDBitVector
initialize(BDDDomain) - Method in class com.github.javabdd.BDDBitVector
initialize(BigInteger) - Method in class com.github.javabdd.BDDBitVector
INSTANCE - Static variable in class com.github.javabdd.BDD.BDDToString: Singleton instance that does the default behavior: domains and elements are printed as their numbers.
IntBDD(int) - Constructor for class com.github.javabdd.BDDFactoryIntImpl.IntBDD
IntBDDBitVector(int) - Constructor for class com.github.javabdd.BDDFactoryIntImpl.IntBDDBitVector
IntBDDVarSet(int) - Constructor for class com.github.javabdd.BDDFactoryIntImpl.IntBDDVarSet
IntBDDVarSetWithFinalizer(int) - Constructor for class com.github.javabdd.BDDFactoryIntImpl.IntBDDVarSetWithFinalizer
IntBDDWithFinalizer(int) - Constructor for class com.github.javabdd.BDDFactoryIntImpl.IntBDDWithFinalizer
intersect(BDDVarSet) - Method in class com.github.javabdd.BDDFactoryIntImpl.IntBDDVarSet
intersect(BDDVarSet) - Method in class com.github.javabdd.BDDVarSet.DefaultImpl
intersect(BDDVarSet) - Method in class com.github.javabdd.BDDVarSet: Returns a new BDDVarSet that is the union of the current BDDVarSet and the given BDDVarSet.
intersectionEmpty(BitString) - Method in class com.github.javabdd.BitString: Check if the intersection of the two sets is empty.
intersectWith(BDDVarSet) - Method in class com.github.javabdd.BDDFactoryIntImpl.IntBDDVarSet
intersectWith(BDDVarSet) - Method in class com.github.javabdd.BDDVarSet.DefaultImpl
intersectWith(BDDVarSet) - Method in class com.github.javabdd.BDDVarSet: Modifies this BDDVarSet to include all of the vars in the given set.
IntZDDVarSet(int) - Constructor for class com.github.javabdd.BDDFactoryIntImpl.IntZDDVarSet
IntZDDVarSetWithFinalizer(int) - Constructor for class com.github.javabdd.BDDFactoryIntImpl.IntZDDVarSetWithFinalizer
invalid_bdd_impl() - Method in class com.github.javabdd.BDDFactoryIntImpl
invalid_bdd_impl() - Method in class com.github.javabdd.JFactory
invimp - Static variable in class com.github.javabdd.BDDFactory: Inverse implication.
invokeCacheStatsCallbacks() - Method in class com.github.javabdd.BDDFactory: Invoke all registered operator cache statistics callbacks.
invokeContinuousStatsCallbacks(int, long) - Method in class com.github.javabdd.BDDFactory: Invoke all registered continuously BDD nodes usage and BDD operations statistics callbacks.
invokeGcStatsCallbacks(boolean) - Method in class com.github.javabdd.BDDFactory: Invoke all registered garbage collection statistics callbacks.
invokeMaxMemoryStatsCallbacks() - Method in class com.github.javabdd.BDDFactory: Invoke all registered maximum memory usage statistics callbacks.
invokeMaxUsedBddNodesStatsCallbacks() - Method in class com.github.javabdd.BDDFactory: Invoke all registered maximum BDD nodes usage statistics callbacks.
invokeReorderStatsCallbacks(boolean) - Method in class com.github.javabdd.BDDFactory: Invoke all registered variable reorder statistics callbacks.
invokeResizeStatsCallbacks(int, int) - Method in class com.github.javabdd.BDDFactory: Invoke all registered node table resize statistics callbacks.
isConst() - Method in class com.github.javabdd.BDDBitVector
isDontCare(int) - Method in class com.github.javabdd.BDD.BDDIterator: Returns true if the given BDD variable number is a dont-care.
isDontCare(BDDDomain) - Method in class com.github.javabdd.BDD.BDDIterator: Returns true if the BDD variables in the given BDD domain are all dont-care's.
isEmpty() - Method in class com.github.javabdd.BDDFactoryIntImpl.IntBDDVarSet
isEmpty() - Method in class com.github.javabdd.BDDVarSet.DefaultImpl
isEmpty() - Method in class com.github.javabdd.BDDVarSet
isInitialized() - Method in class com.github.javabdd.BDDFactory: Returns true if this BDD factory is initialized, false otherwise.
isInitialized() - Method in class com.github.javabdd.JFactory
isOne() - Method in class com.github.javabdd.BDD: Returns true if this BDD is the one (true) BDD.
isOne() - Method in class com.github.javabdd.BDDFactoryIntImpl.IntBDD
isUniverse() - Method in class com.github.javabdd.BDD: Returns true if this BDD is the universe BDD.
isUniverse() - Method in class com.github.javabdd.BDDFactoryIntImpl.IntBDD
isZDD() - Method in class com.github.javabdd.BDDFactory: Returns true if this is a ZDD factory, false otherwise.
isZDD() - Method in class com.github.javabdd.JFactory
isZero() - Method in class com.github.javabdd.BDD: Returns true if this BDD is the zero (false) BDD.
isZero() - Method in class com.github.javabdd.BDDFactoryIntImpl.IntBDD
isZero() - Method in class com.github.javabdd.BitString: Returns whether this BitString is all zeroes.
ite(BDD, BDD) - Method in class com.github.javabdd.BDD: if-then-else operator.
ite(BDD, BDD) - Method in class com.github.javabdd.BDDFactoryIntImpl.IntBDD
ite_impl(int, int, int) - Method in class com.github.javabdd.BDDFactoryIntImpl
ite_impl(int, int, int) - Method in class com.github.javabdd.JFactory
iterator() - Method in class com.github.javabdd.BitString: Returns an iterator that iterates through the bits in forward order.
iterator(BDDVarSet) - Method in class com.github.javabdd.BDD: Returns an iteration of the satisfying assignments of this BDD.
ithVar(int) - Method in class com.github.javabdd.BDDFactory: Returns a BDD representing the I'th variable.
ithVar(int) - Method in class com.github.javabdd.BDDFactoryIntImpl
ithVar(long) - Method in class com.github.javabdd.BDDDomain: Returns the BDD that defines the given value for this finite domain block.
ithVar(BigInteger) - Method in class com.github.javabdd.BDDDomain
ithVar_impl(int) - Method in class com.github.javabdd.BDDFactoryIntImpl
ithVar_impl(int) - Method in class com.github.javabdd.JFactory
ivar - Variable in class com.github.javabdd.BDDDomain

J

JFactory - Class in com.github.javabdd: This is a 100% Java implementation of the BDD factory.

L

lastSet() - Method in class com.github.javabdd.BitString: Returns the last index in the bit string which is set, or -1 if there is no such index.
lastSet(int) - Method in class com.github.javabdd.BitString: Returns the last index less than where in the bit string which is set, or -1 if there is no such index.
length() - Method in class com.github.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 com.github.javabdd.BDDFactory: Less than.
level() - Method in class com.github.javabdd.BDD: Gets the level of this BDD.
level() - Method in class com.github.javabdd.BDDFactoryIntImpl.IntBDD
level_impl(int) - Method in class com.github.javabdd.BDDFactoryIntImpl
level_impl(int) - Method in class com.github.javabdd.JFactory
level2Var(int) - Method in class com.github.javabdd.BDDFactory: Convert from a BDD level to a BDD variable.
level2Var(int) - Method in class com.github.javabdd.JFactory
load() - Method in class com.github.javabdd.TryVarOrder.BDDOperation
load(BufferedReader) - Method in class com.github.javabdd.BDDFactory: Loads a BDD from the given input.
load(BufferedReader, int[]) - Method in class com.github.javabdd.BDDFactory: Loads a BDD from the given input, translating BDD variables according to the given map.
load(BufferedReader, int[]) - Method in class com.github.javabdd.JFactory
load(String) - Method in class com.github.javabdd.BDDFactory: Loads a BDD from a file.
LoadHash() - Constructor for class com.github.javabdd.BDDFactory.LoadHash
loadhash_get(BDDFactory.LoadHash[], int, int) - Method in class com.github.javabdd.BDDFactory: Gets a BDD from the load hash table.
logSatCount() - Method in class com.github.javabdd.BDD: Calculates the logarithm of the number of satisfying variable assignments.
logSatCount(BDDVarSet) - Method in class com.github.javabdd.BDD: Calculates the logarithm of the number of satisfying variable assignments to the variables in the given varset.
loStack - Variable in class com.github.javabdd.BDD.AllSatIterator
low() - Method in class com.github.javabdd.BDD: Gets the false branch of this BDD.
low() - Method in class com.github.javabdd.BDDFactoryIntImpl.IntBDD
low_impl(int) - Method in class com.github.javabdd.BDDFactoryIntImpl
low_impl(int) - Method in class com.github.javabdd.JFactory

M

makeBDD(int) - Method in class com.github.javabdd.BDDFactoryIntImpl
makeBDDVarSet(int) - Method in class com.github.javabdd.BDDFactoryIntImpl
makenode_impl(int, int, int) - Method in class com.github.javabdd.BDDFactoryIntImpl
makenode_impl(int, int, int) - Method in class com.github.javabdd.JFactory
makePair() - Method in class com.github.javabdd.BDDFactory: Make a new BDDPairing object.
makePair() - Method in class com.github.javabdd.JFactory
makePair(int, int) - Method in class com.github.javabdd.BDDFactory: Make a new pairing that maps from one variable to another.
makePair(int, BDD) - Method in class com.github.javabdd.BDDFactory: Make a new pairing that maps from one variable to another BDD.
makePair(BDDDomain, BDDDomain) - Method in class com.github.javabdd.BDDFactory: Make a new pairing that maps from one BDD domain to another.
makeSet(int[]) - Method in class com.github.javabdd.BDDFactory: Builds a BDD variable set from an integer array.
makeSet(BDDDomain[]) - Method in class com.github.javabdd.BDDFactory: Returns a BDD defining all the variable sets used to define the variable blocks in the given array.
makeVarOrdering(boolean, String) - Method in class com.github.javabdd.BDDFactory: Creates a variable ordering from a string.
map2(BDDBitVector, BDDFactory.BDDOp) - Method in class com.github.javabdd.BDDBitVector
maxMemory(BDDFactory.MaxMemoryStats) - Method in interface com.github.javabdd.BDDFactory.MaxMemoryStatsCallback: Maximum memory usage statistics callback.
maxMemoryBytes - Variable in class com.github.javabdd.BDDFactory.MaxMemoryStats
maxMemoryCallbacks - Variable in class com.github.javabdd.BDDFactory: The registered maximum memory usage statistics callbacks, or null if none registered.
maxmemorystats - Variable in class com.github.javabdd.BDDFactory: Singleton object for maximum memory usage statistics.
MaxMemoryStats() - Constructor for class com.github.javabdd.BDDFactory.MaxMemoryStats
maxUsedBddNodes - Variable in class com.github.javabdd.BDDFactory.MaxUsedBddNodesStats
maxUsedBddNodes(BDDFactory.MaxUsedBddNodesStats) - Method in interface com.github.javabdd.BDDFactory.MaxUsedBddNodesStatsCallback: Maximum BDD nodes usage statistics callback.
maxUsedBddNodesCallbacks - Variable in class com.github.javabdd.BDDFactory: The registered maximum BDD nodes usage statistics callbacks, or null if none registered.
maxusedbddnodesstats - Variable in class com.github.javabdd.BDDFactory: Singleton object for maximum used BDD nodes statistics.
MaxUsedBddNodesStats() - Constructor for class com.github.javabdd.BDDFactory.MaxUsedBddNodesStats
minus(BitString) - Method in class com.github.javabdd.BitString: Logically subtracts this bit set with the specified set of bits.

N

name - Variable in class com.github.javabdd.BDDDomain
nand - Static variable in class com.github.javabdd.BDDFactory: Logical 'nand'.
newMeasurement() - Method in class com.github.javabdd.BDDFactory.MaxMemoryStats
newMeasurement(int) - Method in class com.github.javabdd.BDDFactory.MaxUsedBddNodesStats
next() - Method in class com.github.javabdd.BDD.AllSatIterator
next() - Method in class com.github.javabdd.BDD.BDDIterator
next() - Method in class com.github.javabdd.BitString.BitStringIterator
nextBDD() - Method in class com.github.javabdd.BDD.BDDIterator: Return the next BDD in the iteration.
nextIndex() - Method in class com.github.javabdd.BitString.BackwardBitStringIterator
nextIndex() - Method in class com.github.javabdd.BitString.BitStringIterator: Returns the index of the next bit set.
nextIndex() - Method in class com.github.javabdd.BitString.ForwardBitStringIterator
nextIndex() - Method in class com.github.javabdd.BitString.ForwardBitStringZeroIterator
nextSat() - Method in class com.github.javabdd.BDD.AllSatIterator: Return the next satisfying var setting.
nextSat() - Method in class com.github.javabdd.BDD.BDDIterator: Return the next single satisfying assignment in the iteration.
nextTuple() - Method in class com.github.javabdd.BDD.BDDIterator: Return the next tuple of domain values in the iteration.
nextTuple2() - Method in class com.github.javabdd.BDD.BDDIterator: An alternate implementation of nextTuple().
nextValue(BDDDomain) - Method in class com.github.javabdd.BDD.BDDIterator
nithVar(int) - Method in class com.github.javabdd.BDDFactory: Returns a BDD representing the negation of the I'th variable.
nithVar(int) - Method in class com.github.javabdd.BDDFactoryIntImpl
nithVar_impl(int) - Method in class com.github.javabdd.BDDFactoryIntImpl
nithVar_impl(int) - Method in class com.github.javabdd.JFactory
nodeCount() - Method in class com.github.javabdd.BDD: Counts the number of distinct nodes used for this BDD.
nodeCount() - Method in class com.github.javabdd.BDDFactoryIntImpl.IntBDD
nodeCount(Collection<BDD>) - Method in class com.github.javabdd.BDDFactory: Counts the number of shared nodes in a collection of BDDs.
nodeCount(Collection<BDD>) - Method in class com.github.javabdd.BDDFactoryIntImpl
nodeCount_impl(int) - Method in class com.github.javabdd.BDDFactoryIntImpl
nodeCount_impl(int) - Method in class com.github.javabdd.JFactory
nodeCount_impl2(int[]) - Method in class com.github.javabdd.BDDFactoryIntImpl
nodeCount_impl2(int[]) - Method in class com.github.javabdd.JFactory
nodes - Variable in class com.github.javabdd.BDDFactory.GCStats
nor - Static variable in class com.github.javabdd.BDDFactory: Logical 'nor'.
not() - Method in class com.github.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 com.github.javabdd.BDDFactoryIntImpl.IntBDD
not_impl(int) - Method in class com.github.javabdd.BDDFactoryIntImpl
not_impl(int) - Method in class com.github.javabdd.JFactory
num - Variable in class com.github.javabdd.BDDFactory.GCStats
numberOfDomains() - Method in class com.github.javabdd.BDDFactory: Returns the number of finite domain blocks defined by calls to extDomain().
numberOfOnes() - Method in class com.github.javabdd.BitString: Returns the number of ones in this BitString.
numberOfOnes(int) - Method in class com.github.javabdd.BitString: Returns the number of ones in this BitString up to a given index.

O

one() - Method in class com.github.javabdd.BDDFactory: Get the constant true BDD.
one() - Method in class com.github.javabdd.BDDFactoryIntImpl
one_impl() - Method in class com.github.javabdd.BDDFactoryIntImpl
one_impl() - Method in class com.github.javabdd.JFactory
opAccess - Variable in class com.github.javabdd.BDDFactory.CacheStats
opHit - Variable in class com.github.javabdd.BDDFactory.CacheStats
opMiss - Variable in class com.github.javabdd.BDDFactory.CacheStats
or - Static variable in class com.github.javabdd.BDDFactory: Logical 'or'.
or(BDD) - Method in class com.github.javabdd.BDD: Returns the logical 'or' of two BDDs.
or(BitString) - Method in class com.github.javabdd.BitString: Logically ORs this bit set with the specified set of bits.
or_upTo(BitString, int) - Method in class com.github.javabdd.BitString: Logically ORs this bit set with the specified set of bits.
orWith(BDD) - Method in class com.github.javabdd.BDD: Makes this BDD be the logical 'or' of two BDDs.
overlapDomain(BDDDomain, BDDDomain) - Method in class com.github.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 com.github.javabdd.BDD: Counts the number of paths leading to the true terminal.
pathCount() - Method in class com.github.javabdd.BDDFactoryIntImpl.IntBDD
pathCount_impl(int) - Method in class com.github.javabdd.BDDFactoryIntImpl
pathCount_impl(int) - Method in class com.github.javabdd.JFactory
popcount(int) - Static method in class com.github.javabdd.BitString: Utility function to return the number of 1 bits in the given integer value.
popcount(long) - Static method in class com.github.javabdd.BitString: Utility function to return the number of 1 bits in the given long value.
printAll() - Method in class com.github.javabdd.BDDFactory: Prints all used entries in the node table.
printAll() - Method in class com.github.javabdd.JFactory
printDot() - Method in class com.github.javabdd.BDD: Prints this BDD in dot graph notation.
printdot_rec(PrintStream, int, boolean[], HashMap<BDD, Integer>) - Method in class com.github.javabdd.BDD
printOrder() - Method in class com.github.javabdd.BDDFactory: Prints an indented list of the variable blocks.
printOrder() - Method in class com.github.javabdd.JFactory
printSet() - Method in class com.github.javabdd.BDD: Prints the set of truth assignments specified by this BDD.
printSetWithDomains() - Method in class com.github.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 com.github.javabdd.BDDFactory: Print cache statistics.
printStat() - Method in class com.github.javabdd.JFactory
printTable(BDD) - Method in class com.github.javabdd.BDDFactory: Prints the node table entries used by a BDD.
printTable(BDD) - Method in class com.github.javabdd.BDDFactoryIntImpl
printTable_impl(int) - Method in class com.github.javabdd.BDDFactoryIntImpl
printTable_impl(int) - Method in class com.github.javabdd.JFactory

R

readBDDConfig(BDDFactory) - Method in class com.github.javabdd.FindBestOrder.TryThread
readNext(BufferedReader) - Method in class com.github.javabdd.BDDFactory: Read the next token from the file.
realsize - Variable in class com.github.javabdd.BDDDomain
registerCacheStatsCallback(BDDFactory.CacheStatsCallback) - Method in class com.github.javabdd.BDDFactory: Register an operator cache statistics callback.
registerContinuousStatsCallback(BDDFactory.ContinuousStatsCallback) - Method in class com.github.javabdd.BDDFactory: Register a continuously BDD nodes usage and BDD operations statistics callback.
registerGcStatsCallback(BDDFactory.GCStatsCallback) - Method in class com.github.javabdd.BDDFactory: Register a garbage collection statistics callback.
registerMaxMemoryStatsCallback(BDDFactory.MaxMemoryStatsCallback) - Method in class com.github.javabdd.BDDFactory: Register a maximum memory usage statistics callback.
registerMaxUsedBddNodesStatsCallback(BDDFactory.MaxUsedBddNodesStatsCallback) - Method in class com.github.javabdd.BDDFactory: Register a maximum BDD nodes usage statistics callback.
registerReorderStatsCallback(BDDFactory.ReorderStatsCallback) - Method in class com.github.javabdd.BDDFactory: Register a variable reorder statistics callback.
registerResizeStatsCallback(BDDFactory.ResizeStatsCallback) - Method in class com.github.javabdd.BDDFactory: Register a node table resize statistics callback.
relnext(BDD, BDDVarSet) - Method in class com.github.javabdd.BDD: Computes the BDD that represents the set of successor states from states, i.e., the ones reachable by taking one forward step from states in states, where this BDD is the (partial) transition relation to consider.
relnext(BDD, BDDVarSet) - Method in class com.github.javabdd.BDDFactoryIntImpl.IntBDD
relnext_impl(int, int, int) - Method in class com.github.javabdd.BDDFactoryIntImpl
relnext_impl(int, int, int) - Method in class com.github.javabdd.JFactory
relnextIntersection(BDD, BDD, BDDVarSet) - Method in class com.github.javabdd.BDD: Computes and(relnext(states, vars), restriction) as a single BDD operation.
relnextIntersection(BDD, BDD, BDDVarSet) - Method in class com.github.javabdd.BDDFactoryIntImpl.IntBDD
relnextIntersection_impl(int, int, int, int) - Method in class com.github.javabdd.BDDFactoryIntImpl
relnextIntersection_impl(int, int, int, int) - Method in class com.github.javabdd.JFactory
relnextUnion(BDD, BDD, BDDVarSet) - Method in class com.github.javabdd.BDD: Computes or(relnext(states, vars), union) as a single BDD operation.
relnextUnion(BDD, BDD, BDDVarSet) - Method in class com.github.javabdd.BDDFactoryIntImpl.IntBDD
relnextUnion(BDD, BDDVarSet) - Method in class com.github.javabdd.BDD: Computes or(relnext(states, vars), states) as a single BDD operation.
relnextUnion_impl(int, int, int, int) - Method in class com.github.javabdd.BDDFactoryIntImpl
relnextUnion_impl(int, int, int, int) - Method in class com.github.javabdd.JFactory
relprev(BDD, BDDVarSet) - Method in class com.github.javabdd.BDD: Computes the BDD that represents the set of predecessor states from states, i.e., the ones reachable by taking one backward step from states in states, where this BDD is the (partial) transition relation to consider.
relprev(BDD, BDDVarSet) - Method in class com.github.javabdd.BDDFactoryIntImpl.IntBDD
relprev_impl(int, int, int) - Method in class com.github.javabdd.BDDFactoryIntImpl
relprev_impl(int, int, int) - Method in class com.github.javabdd.JFactory
relprevIntersection(BDD, BDD, BDDVarSet) - Method in class com.github.javabdd.BDD: Computes and(relprev(states, vars), restriction) as a single BDD operation.
relprevIntersection(BDD, BDD, BDDVarSet) - Method in class com.github.javabdd.BDDFactoryIntImpl.IntBDD
relprevIntersection_impl(int, int, int, int) - Method in class com.github.javabdd.BDDFactoryIntImpl
relprevIntersection_impl(int, int, int, int) - Method in class com.github.javabdd.JFactory
relprevUnion(BDD, BDD, BDDVarSet) - Method in class com.github.javabdd.BDD: Computes or(relprev(states, vars), union) as a single BDD operation.
relprevUnion(BDD, BDD, BDDVarSet) - Method in class com.github.javabdd.BDDFactoryIntImpl.IntBDD
relprevUnion(BDD, BDDVarSet) - Method in class com.github.javabdd.BDD: Computes or(relprev(states, vars), states) as a single BDD operation.
relprevUnion_impl(int, int, int, int) - Method in class com.github.javabdd.BDDFactoryIntImpl
relprevUnion_impl(int, int, int, int) - Method in class com.github.javabdd.JFactory
relprod(BDD, BDDVarSet) - Method in class com.github.javabdd.BDD: Relational product.
remove() - Method in class com.github.javabdd.BDD.AllSatIterator
remove() - Method in class com.github.javabdd.BDD.BDDIterator
remove() - Method in class com.github.javabdd.BitString.BitStringIterator
reorder(BDDFactory.ReorderMethod) - Method in class com.github.javabdd.BDDFactory: Reorder the BDD with the given method.
reorder(BDDFactory.ReorderMethod) - Method in class com.github.javabdd.JFactory
reorder(BDDFactory.ReorderStats, boolean) - Method in interface com.github.javabdd.BDDFactory.ReorderStatsCallback: Variable reorder statistics callback.
REORDER_NONE - Static variable in class com.github.javabdd.BDDFactory: No reordering.
REORDER_RANDOM - Static variable in class com.github.javabdd.BDDFactory: Selects a random position for each variable.
REORDER_SIFT - Static variable in class com.github.javabdd.BDDFactory: Reordering where each block is moved through all possible positions.
REORDER_SIFTITE - Static variable in class com.github.javabdd.BDDFactory: Same as REORDER_SIFT, but the process is repeated until no further progress is done.
REORDER_WIN2 - Static variable in class com.github.javabdd.BDDFactory: Reordering using a sliding window of 2.
REORDER_WIN2ITE - Static variable in class com.github.javabdd.BDDFactory: Reordering using a sliding window of 2, iterating until no further progress.
REORDER_WIN3 - Static variable in class com.github.javabdd.BDDFactory: Reordering using a sliding window of 3.
REORDER_WIN3ITE - Static variable in class com.github.javabdd.BDDFactory: Reordering using a sliding window of 3, iterating until no further progress.
reorderCallbacks - Variable in class com.github.javabdd.BDDFactory: The registered variable reorder statistics callbacks, or null if none registered.
reorderGain() - Method in class com.github.javabdd.BDDFactory: Calculate the gain in size after a reordering.
reorderGain() - Method in class com.github.javabdd.JFactory
reorderstats - Variable in class com.github.javabdd.BDDFactory: Singleton object for reorder statistics.
ReorderStats() - Constructor for class com.github.javabdd.BDDFactory.ReorderStats
reorderVerbose(int) - Method in class com.github.javabdd.BDDFactory: Enables verbose information about reordering.
reorderVerbose(int) - Method in class com.github.javabdd.JFactory
replace(BDDPairing) - Method in class com.github.javabdd.BDD: Returns a BDD where all variables are replaced with the variables defined by pair.
replace(BDDPairing) - Method in class com.github.javabdd.BDDFactoryIntImpl.IntBDD
replace_impl(int, BDDPairing) - Method in class com.github.javabdd.BDDFactoryIntImpl
replace_impl(int, BDDPairing) - Method in class com.github.javabdd.JFactory
replaceWith(BDDBitVector) - Method in class com.github.javabdd.BDDBitVector
replaceWith(BDDPairing) - Method in class com.github.javabdd.BDD: Replaces all variables in this BDD with the variables defined by pair.
replaceWith(BDDPairing) - Method in class com.github.javabdd.BDDFactoryIntImpl.IntBDD
reset() - Method in class com.github.javabdd.BDDFactory: Reset the BDD factory to its initial state.
reset() - Method in class com.github.javabdd.BDDPairing: Resets this table of pairs by setting all substitutions to their default values (that is, no change).
resetMeasurements() - Method in class com.github.javabdd.BDDFactory.CacheStats
resetMeasurements() - Method in class com.github.javabdd.BDDFactory.MaxMemoryStats
resetMeasurements() - Method in class com.github.javabdd.BDDFactory.MaxUsedBddNodesStats
resize(int, int) - Method in interface com.github.javabdd.BDDFactory.ResizeStatsCallback: Node table resize statistics callback.
resizeCallbacks - Variable in class com.github.javabdd.BDDFactory: The registered node table resize statistics callbacks, or null if none registered.
restrict(BDD) - Method in class com.github.javabdd.BDD: Restrict a set of variables to constant values.
restrict(BDD) - Method in class com.github.javabdd.BDDFactoryIntImpl.IntBDD
restrict_impl(int, int) - Method in class com.github.javabdd.BDDFactoryIntImpl
restrict_impl(int, int) - Method in class com.github.javabdd.JFactory
restrictWith(BDD) - Method in class com.github.javabdd.BDD: Mutates this BDD to restrict a set of variables to constant values.
restrictWith(BDD) - Method in class com.github.javabdd.BDDFactoryIntImpl.IntBDD
reverseAllDomains() - Method in class com.github.javabdd.JFactory
reverseDomain(BDDDomain) - Method in class com.github.javabdd.JFactory
reverseDomain0(BDDDomain) - Method in class com.github.javabdd.JFactory
run() - Method in class com.github.javabdd.FindBestOrder.TryThread
run() - Method in class com.github.javabdd.TryVarOrder.TryThread

S

satCount() - Method in class com.github.javabdd.BDD: Calculates the number of satisfying variable assignments.
satCount() - Method in class com.github.javabdd.BDDFactoryIntImpl.IntBDD
satCount(BDDVarSet) - Method in class com.github.javabdd.BDD: Calculates the number of satisfying variable assignments to the variables in the given varset.
satCount_impl(int) - Method in class com.github.javabdd.BDDFactoryIntImpl
satCount_impl(int) - Method in class com.github.javabdd.JFactory
satOne() - Method in class com.github.javabdd.BDD: Finds one satisfying variable assignment.
satOne() - Method in class com.github.javabdd.BDDFactoryIntImpl.IntBDD
satOne(BDDVarSet, boolean) - Method in class com.github.javabdd.BDD: Finds one satisfying variable assignment.
satOne(BDDVarSet, boolean) - Method in class com.github.javabdd.BDDFactoryIntImpl.IntBDD
satOne_impl(int) - Method in class com.github.javabdd.BDDFactoryIntImpl
satOne_impl(int) - Method in class com.github.javabdd.JFactory
satOne_impl2(int, int, boolean) - Method in class com.github.javabdd.BDDFactoryIntImpl
satOne_impl2(int, int, boolean) - Method in class com.github.javabdd.JFactory
saturationBackward(List<BDD>, List<BDDVarSet>, int) - Method in class com.github.javabdd.BDD: Computes the set of all states that are backward reachable with respect to the given list of transition relations, starting from the set of states represented by this BDD, by using the saturation strategy.
saturationBackward(List<BDD>, List<BDDVarSet>, int) - Method in class com.github.javabdd.BDDFactoryIntImpl.IntBDD
saturationBackward_impl(int, int[], int[], int) - Method in class com.github.javabdd.BDDFactoryIntImpl
saturationBackward_impl(int, int[], int[], int) - Method in class com.github.javabdd.JFactory
saturationForward(List<BDD>, List<BDDVarSet>, int) - Method in class com.github.javabdd.BDD: Computes the set of all states that are forward reachable with respect to the given list of transition relations, starting from the set of states represented by this BDD, by using the saturation strategy.
saturationForward(List<BDD>, List<BDDVarSet>, int) - Method in class com.github.javabdd.BDDFactoryIntImpl.IntBDD
saturationForward_impl(int, int[], int[], int) - Method in class com.github.javabdd.BDDFactoryIntImpl
saturationForward_impl(int, int[], int[], int) - Method in class com.github.javabdd.JFactory
save(BufferedWriter, BDD) - Method in class com.github.javabdd.BDDFactory: Saves a BDD to an output writer.
save(BufferedWriter, BDD) - Method in class com.github.javabdd.JFactory
save(String, BDD) - Method in class com.github.javabdd.BDDFactory: Saves a BDD to a file.
save_rec(BufferedWriter, BitSet, BDD) - Method in class com.github.javabdd.BDDFactory: Helper function for save().
scanAllVar() - Method in class com.github.javabdd.BDD: Finds one satisfying assignment in this BDD of all the defined BDDDomain's.
scanVar(BDDDomain) - Method in class com.github.javabdd.BDD: Finds one satisfying assignment of the domain d in this BDD and returns that value.
set() - Method in class com.github.javabdd.BDDDomain: Returns the variable set that contains the variables used to define this finite domain block.
set(int) - Method in class com.github.javabdd.BitString: Sets a bit.
set(int[], int[]) - Method in class com.github.javabdd.BDDPairing: Like set(), but with a whole list of pairs.
set(int[], BDD[]) - Method in class com.github.javabdd.BDDPairing: Like set(), but with a whole list of pairs.
set(int, int) - Method in class com.github.javabdd.BDDPairing: Adds the pair (oldvar, newvar) to this table of pairs.
set(int, BDD) - Method in class com.github.javabdd.BDDPairing: Adds the pair (oldvar, newvar) to this table of pairs.
set(BDDDomain[], BDDDomain[]) - Method in class com.github.javabdd.BDDPairing: Like set(), but with a whole list of pairs.
set(BDDDomain, BDDDomain) - Method in class com.github.javabdd.BDDPairing: Defines each variable in the finite domain block p1 to be paired with the corresponding variable in p2.
setAll() - Method in class com.github.javabdd.BitString: Sets all bits.
setCacheRatio(double) - Method in class com.github.javabdd.BDDFactory: Sets the cache ratio for the operator caches.
setCacheRatio(double) - Method in class com.github.javabdd.JFactory
setCacheSize(int) - Method in class com.github.javabdd.BDDFactory: Sets cache size.
setCacheSize(int) - Method in class com.github.javabdd.JFactory
setError(int) - Method in class com.github.javabdd.BDDFactory: Sets the error condition.
setError(int) - Method in class com.github.javabdd.JFactory
setFilenames(String, String, String) - Method in class com.github.javabdd.TryVarOrder.BDDOperation
setIncreaseFactor(double) - Method in class com.github.javabdd.BDDFactory: Set factor by which to increase node table after a garbage collection.
setIncreaseFactor(double) - Method in class com.github.javabdd.JFactory
setMaxIncrease(int) - Method in class com.github.javabdd.BDDFactory: Set maximum number of nodes by which to increase node table after a garbage collection.
setMaxIncrease(int) - Method in class com.github.javabdd.JFactory
setMaxNodeNum(int) - Method in class com.github.javabdd.BDDFactory: Set the maximum available number of BDD nodes.
setMaxNodeNum(int) - Method in class com.github.javabdd.JFactory
setMinFreeNodes(double) - Method in class com.github.javabdd.BDDFactory: Set minimum percentage of nodes to be reclaimed after a garbage collection.
setMinFreeNodes(double) - Method in class com.github.javabdd.JFactory
setName(String) - Method in class com.github.javabdd.BDDDomain: Sets the name of this domain.
setNodeTableSize(int) - Method in class com.github.javabdd.BDDFactory: Sets the node table size.
setNodeTableSize(int) - Method in class com.github.javabdd.JFactory
setOp(int) - Method in class com.github.javabdd.TryVarOrder.BDDOperation
setRange(int, int) - Method in class com.github.javabdd.BitString
setUpTo(int) - Method in class com.github.javabdd.BitString: Sets all bits up to and including the given bit.
setVarNum(int) - Method in class com.github.javabdd.BDDFactory: Set the number of used BDD variables.
setVarNum(int) - Method in class com.github.javabdd.JFactory
setVarOrder(boolean, String) - Method in class com.github.javabdd.TryVarOrder.BDDOperation
setVarOrder(int[]) - Method in class com.github.javabdd.BDDFactory: This function sets the current variable order to be the one defined by neworder.
setVarOrder(int[]) - Method in class com.github.javabdd.JFactory
setVarOrder(String) - Method in class com.github.javabdd.JFactory
setVarOrder(List<Object>) - Method in class com.github.javabdd.JFactory: Set the variable order to be the given list of domains.
shl(int) - Method in class com.github.javabdd.BitString: Performs a left-shift operation.
shl(int, BDD) - Method in class com.github.javabdd.BDDBitVector
shr(int) - Method in class com.github.javabdd.BitString: Performs a right-shift operation.
simplify(BDD) - Method in class com.github.javabdd.BDD: Coudert and Madre's restrict function.
simplify(BDD) - Method in class com.github.javabdd.BDDFactoryIntImpl.IntBDD
simplify_impl(int, int) - Method in class com.github.javabdd.BDDFactoryIntImpl
simplify_impl(int, int) - Method in class com.github.javabdd.JFactory
size() - Method in class com.github.javabdd.BDDBitVector
size() - Method in class com.github.javabdd.BDDDomain: Returns the size of the domain for this finite domain block.
size() - Method in class com.github.javabdd.BDDFactoryIntImpl.IntBDDVarSet
size() - Method in class com.github.javabdd.BDDVarSet.DefaultImpl
size() - Method in class com.github.javabdd.BDDVarSet
size() - Method in class com.github.javabdd.BitString: Returns the number of bits of space actually in use by this BitString to represent bit values.
skipDontCare(BDDDomain) - Method in class com.github.javabdd.BDD.BDDIterator: Assuming d is a dont-care, skip to the end of the iteration for d.
sub(BDDBitVector) - Method in class com.github.javabdd.BDDBitVector
sumtime - Variable in class com.github.javabdd.BDDFactory.GCStats
support() - Method in class com.github.javabdd.BDD: Returns the variable support of this BDD.
support() - Method in class com.github.javabdd.BDDFactoryIntImpl.IntBDD
support_impl(int) - Method in class com.github.javabdd.BDDFactoryIntImpl
support_impl(int) - Method in class com.github.javabdd.JFactory
swapCount - Variable in class com.github.javabdd.BDDFactory.CacheStats
swapVar(int, int) - Method in class com.github.javabdd.BDDFactory: Swap two variables.
swapVar(int, int) - Method in class com.github.javabdd.JFactory

T

time - Variable in class com.github.javabdd.BDDFactory.GCStats
time - Variable in class com.github.javabdd.BDDFactory.ReorderStats
to_free - Variable in class com.github.javabdd.BDDFactoryIntImpl
to_free_length - Variable in class com.github.javabdd.BDDFactoryIntImpl
toArray() - Method in class com.github.javabdd.BDDFactoryIntImpl.IntBDDVarSet
toArray() - Method in class com.github.javabdd.BDDVarSet.DefaultImpl
toArray() - Method in class com.github.javabdd.BDDVarSet
toBDD() - Method in class com.github.javabdd.BDDFactoryIntImpl.IntBDDVarSet
toBDD() - Method in class com.github.javabdd.BDDVarSet.DefaultImpl
toBDD() - Method in class com.github.javabdd.BDDVarSet
tokenizer - Variable in class com.github.javabdd.BDDFactory: Used for tokenization during loading.
toLevelArray() - Method in class com.github.javabdd.BDDFactoryIntImpl.IntBDDVarSet
toLevelArray() - Method in class com.github.javabdd.BDDVarSet.DefaultImpl
toLevelArray() - Method in class com.github.javabdd.BDDVarSet
toString() - Method in class com.github.javabdd.BDD
toString() - Method in class com.github.javabdd.BDDDomain
toString() - Method in class com.github.javabdd.BDDFactory.BDDOp
toString() - Method in class com.github.javabdd.BDDFactory.CacheStats
toString() - Method in class com.github.javabdd.BDDFactory.GCStats
toString() - Method in class com.github.javabdd.BDDFactory.MaxMemoryStats
toString() - Method in class com.github.javabdd.BDDFactory.MaxUsedBddNodesStats
toString() - Method in class com.github.javabdd.BDDFactory.ReorderMethod
toString() - Method in class com.github.javabdd.BDDFactory.ReorderStats
toString() - Method in class com.github.javabdd.BDDVarSet
toString() - Method in class com.github.javabdd.BitString: Converts the BitString to a String.
toStringWithDomains() - Method in class com.github.javabdd.BDD: Returns a string representation of this BDD using the defined domains.
toStringWithDomains(BDD.BDDToString) - Method in class com.github.javabdd.BDD: Returns a string representation of this BDD on the defined domains, using the given BDDToString converter.
toVarSet() - Method in class com.github.javabdd.BDD: Converts this BDD to a new BDDVarSet.
toVarSet() - Method in class com.github.javabdd.BDDFactoryIntImpl.IntBDD
tryOrder(boolean, String) - Method in class com.github.javabdd.FindBestOrder
tryOrder(String, boolean, String) - Method in class com.github.javabdd.TryVarOrder: Try out a variable order.
TryThread() - Constructor for class com.github.javabdd.FindBestOrder.TryThread
TryVarOrder - Class in com.github.javabdd: Try var order.
TryVarOrder(int, int, int, long, long) - Constructor for class com.github.javabdd.TryVarOrder
TryVarOrder.BDDOperation - Class in com.github.javabdd
TryVarOrder.TryThread - Class in com.github.javabdd

U

union(int) - Method in class com.github.javabdd.BDDFactoryIntImpl.IntBDDVarSet
union(int) - Method in class com.github.javabdd.BDDVarSet.DefaultImpl
union(int) - Method in class com.github.javabdd.BDDVarSet: Returns a new BDDVarSet that is the union of the current BDDVarSet and the given variable.
union(BDDVarSet) - Method in class com.github.javabdd.BDDFactoryIntImpl.IntBDDVarSet
union(BDDVarSet) - Method in class com.github.javabdd.BDDVarSet.DefaultImpl
union(BDDVarSet) - Method in class com.github.javabdd.BDDVarSet: Returns a new BDDVarSet that is the union of the current BDDVarSet and the given BDDVarSet.
unionWith(int) - Method in class com.github.javabdd.BDDFactoryIntImpl.IntBDDVarSet
unionWith(int) - Method in class com.github.javabdd.BDDVarSet.DefaultImpl
unionWith(int) - Method in class com.github.javabdd.BDDVarSet: Modifies this BDDVarSet to include the given variable.
unionWith(BDDVarSet) - Method in class com.github.javabdd.BDDFactoryIntImpl.IntBDDVarSet
unionWith(BDDVarSet) - Method in class com.github.javabdd.BDDVarSet.DefaultImpl
unionWith(BDDVarSet) - Method in class com.github.javabdd.BDDVarSet: Modifies this BDDVarSet to include all of the vars in the given set.
unique(BDDVarSet) - Method in class com.github.javabdd.BDD: Unique quantification of variables.
unique(BDDVarSet) - Method in class com.github.javabdd.BDDFactoryIntImpl.IntBDD
unique_impl(int, int) - Method in class com.github.javabdd.BDDFactoryIntImpl
unique_impl(int, int) - Method in class com.github.javabdd.JFactory
uniqueAccess - Variable in class com.github.javabdd.BDDFactory.CacheStats
uniqueChain - Variable in class com.github.javabdd.BDDFactory.CacheStats
uniqueHit - Variable in class com.github.javabdd.BDDFactory.CacheStats
uniqueMiss - Variable in class com.github.javabdd.BDDFactory.CacheStats
universe() - Method in class com.github.javabdd.BDDFactory: Get the constant universe BDD.
universe() - Method in class com.github.javabdd.BDDFactoryIntImpl
universe_impl() - Method in class com.github.javabdd.BDDFactoryIntImpl
universe_impl() - Method in class com.github.javabdd.JFactory
unregisterCacheStatsCallback(BDDFactory.CacheStatsCallback) - Method in class com.github.javabdd.BDDFactory: Unregister an operator cache statistics callback.
unregisterContinuousStatsCallback(BDDFactory.ContinuousStatsCallback) - Method in class com.github.javabdd.BDDFactory: Unregister a continuously BDD nodes usage and BDD operations statistics callback.
unregisterGcStatsCallback(BDDFactory.GCStatsCallback) - Method in class com.github.javabdd.BDDFactory: Unregister a garbage collection statistics callback.
unregisterMaxMemoryStatsCallback(BDDFactory.MaxMemoryStatsCallback) - Method in class com.github.javabdd.BDDFactory: Unregister a maximum memory usage statistics callback.
unregisterMaxUsedBddNodesStatsCallback(BDDFactory.MaxUsedBddNodesStatsCallback) - Method in class com.github.javabdd.BDDFactory: Unregister a maximum BDD nodes usage statistics callback.
unregisterReorderStatsCallback(BDDFactory.ReorderStatsCallback) - Method in class com.github.javabdd.BDDFactory: Unregister a variable reorder statistics callback.
unregisterResizeStatsCallback(BDDFactory.ResizeStatsCallback) - Method in class com.github.javabdd.BDDFactory: Unregister a node table resize statistics callback.
unwrap(BDD) - Static method in class com.github.javabdd.BDDFactoryIntImpl
unwrap(BDDVarSet) - Static method in class com.github.javabdd.BDDFactoryIntImpl
unwrap(Collection<BDD>) - Static method in class com.github.javabdd.BDDFactoryIntImpl
usednum_after - Variable in class com.github.javabdd.BDDFactory.ReorderStats
usednum_before - Variable in class com.github.javabdd.BDDFactory.ReorderStats
useLevel - Variable in class com.github.javabdd.BDD.AllSatIterator

V

v - Variable in class com.github.javabdd.BDDFactoryIntImpl.IntBDD
val() - Method in class com.github.javabdd.BDDBitVector
validateAll() - Method in class com.github.javabdd.JFactory
validateBDD(BDD) - Method in class com.github.javabdd.JFactory
var - Variable in class com.github.javabdd.BDDDomain
var() - Method in class com.github.javabdd.BDD: Gets the variable labeling the BDD.
var() - Method in class com.github.javabdd.BDDFactoryIntImpl.IntBDD
var_impl(int) - Method in class com.github.javabdd.BDDFactoryIntImpl
var_impl(int) - Method in class com.github.javabdd.JFactory
var2Level(int) - Method in class com.github.javabdd.BDDFactory: Convert from a BDD variable to a BDD level.
var2Level(int) - Method in class com.github.javabdd.JFactory
varBlockAll() - Method in class com.github.javabdd.BDDFactory: Add a variable block for all variables.
varBlockAll() - Method in class com.github.javabdd.JFactory
varNum() - Method in class com.github.javabdd.BDDDomain: Returns the number of BDD variables used for this finite domain block.
varNum() - Method in class com.github.javabdd.BDDFactory: Returns the number of defined variables.
varNum() - Method in class com.github.javabdd.JFactory
varProfile() - Method in class com.github.javabdd.BDD: Counts the number of times each variable occurs in this BDD.
varProfile() - Method in class com.github.javabdd.BDDFactoryIntImpl.IntBDD
varProfile_impl(int) - Method in class com.github.javabdd.BDDFactoryIntImpl
varProfile_impl(int) - Method in class com.github.javabdd.JFactory
varRange(long, long) - Method in class com.github.javabdd.BDDDomain: Returns the BDD that defines the given range of values, inclusive, for this finite domain block.
varRange(BigInteger, BigInteger) - Method in class com.github.javabdd.BDDDomain
vars() - Method in class com.github.javabdd.BDDDomain: Returns an integer array containing the indices of the BDD variables used to define this finite domain.
veccompose(BDDPairing) - Method in class com.github.javabdd.BDD: Simultaneous functional composition.
veccompose(BDDPairing) - Method in class com.github.javabdd.BDDFactoryIntImpl.IntBDD
veccompose_impl(int, BDDPairing) - Method in class com.github.javabdd.BDDFactoryIntImpl
veccompose_impl(int, BDDPairing) - Method in class com.github.javabdd.JFactory

W

writeBDDConfig(BDDFactory, String) - Method in class com.github.javabdd.FindBestOrder
writeBDDConfig(BDDFactory, String) - Method in class com.github.javabdd.TryVarOrder: Write the BDD configuration to a file.

X

xor - Static variable in class com.github.javabdd.BDDFactory: Logical 'xor'.
xor(BDD) - Method in class com.github.javabdd.BDD: Returns the logical 'xor' of two BDDs.
xor(BitString) - Method in class com.github.javabdd.BitString: Logically XORs this bit set with the specified set of bits.
xorWith(BDD) - Method in class com.github.javabdd.BDD: Makes this BDD be the logical 'xor' of two BDDs.

Z

zero() - Method in class com.github.javabdd.BDDFactory: Get the constant false BDD.
zero() - Method in class com.github.javabdd.BDDFactoryIntImpl
zero_impl() - Method in class com.github.javabdd.BDDFactoryIntImpl
zero_impl() - Method in class com.github.javabdd.JFactory
zeroIterator() - Method in class com.github.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
All Classes and Interfaces|All Packages|Serialized Form