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

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

addref_impl(int) - Method in class com.github.javabdd.MicroFactory

addref_impl(int) - Method in class com.github.javabdd.UberMicroFactory

addVarBlock(BDDVarSet, 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.BDDFactory

Adds a new variable block for reordering.

addVarBlock(int, int, boolean) - Method in class com.github.javabdd.JFactory

addVarBlock(int, int, boolean) - Method in class com.github.javabdd.MicroFactory

addVarBlock(int, int, boolean) - Method in class com.github.javabdd.TestBDDFactory

addVarBlock(int, int, boolean) - Method in class com.github.javabdd.TypedBDDFactory

addVarBlock(int, int, boolean) - Method in class com.github.javabdd.UberMicroFactory

allDomains() - Method in class com.github.javabdd.TypedBDDFactory

allsat() - Method in class com.github.javabdd.BDD

Finds all satisfying variable assignments.

allsat() - Method in class com.github.javabdd.TypedBDDFactory.TypedBDD

AllSatIterator(BDDFactory, boolean) - Constructor for class com.github.javabdd.BDD.AllSatIterator

AllSatIterator(BDD) - Constructor for class com.github.javabdd.BDD.AllSatIterator

Constructs a satisfying-assignment iterator on the given BDD.

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(BDD) - Method in class com.github.javabdd.BDD

Returns the logical 'and' of two BDDs.

and - Static variable in class com.github.javabdd.BDDFactory

Logical 'and'.

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(BDD, BDDFactory.BDDOp) - Method in class com.github.javabdd.TypedBDDFactory.TypedBDD

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

apply_impl(int, int, BDDFactory.BDDOp) - Method in class com.github.javabdd.MicroFactory

apply_impl(int, int, BDDFactory.BDDOp) - Method in class com.github.javabdd.UberMicroFactory

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(BDD, BDDFactory.BDDOp, BDDVarSet) - Method in class com.github.javabdd.TypedBDDFactory.TypedBDD

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

applyAll_impl(int, int, BDDFactory.BDDOp, int) - Method in class com.github.javabdd.MicroFactory

applyAll_impl(int, int, BDDFactory.BDDOp, int) - Method in class com.github.javabdd.UberMicroFactory

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(BDD, BDDFactory.BDDOp, BDDVarSet) - Method in class com.github.javabdd.TypedBDDFactory.TypedBDD

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

applyEx_impl(int, int, BDDFactory.BDDOp, int) - Method in class com.github.javabdd.MicroFactory

applyEx_impl(int, int, BDDFactory.BDDOp, int) - Method in class com.github.javabdd.UberMicroFactory

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(BDD, BDDFactory.BDDOp, BDDVarSet) - Method in class com.github.javabdd.TypedBDDFactory.TypedBDD

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

applyUni_impl(int, int, BDDFactory.BDDOp, int) - Method in class com.github.javabdd.MicroFactory

applyUni_impl(int, int, BDDFactory.BDDOp, int) - Method in class com.github.javabdd.UberMicroFactory

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

applyWith(BDD, BDDFactory.BDDOp) - Method in class com.github.javabdd.TypedBDDFactory.TypedBDD

assertSame(boolean, String) - Static method in class com.github.javabdd.TestBDDFactory

assertSame(BDD, BDD, String) - Static method in class com.github.javabdd.TestBDDFactory

assertSame(boolean, BDD, BDD, String) - Static method in class com.github.javabdd.TestBDDFactory

assertSame(BDDVarSet, BDDVarSet, String) - Static method in class com.github.javabdd.TestBDDFactory

assertSame(boolean, BDDVarSet, BDDVarSet, String) - Static method in class com.github.javabdd.TestBDDFactory

autoReorder(BDDFactory.ReorderMethod) - Method in class com.github.javabdd.BDDFactory

Enables automatic reordering.

autoReorder(BDDFactory.ReorderMethod, int) - Method in class com.github.javabdd.BDDFactory

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

autoReorder(BDDFactory.ReorderMethod) - Method in class com.github.javabdd.JFactory

autoReorder(BDDFactory.ReorderMethod, int) - Method in class com.github.javabdd.JFactory

autoReorder(BDDFactory.ReorderMethod) - Method in class com.github.javabdd.MicroFactory

autoReorder(BDDFactory.ReorderMethod, int) - Method in class com.github.javabdd.MicroFactory

autoReorder(BDDFactory.ReorderMethod) - Method in class com.github.javabdd.TestBDDFactory

autoReorder(BDDFactory.ReorderMethod, int) - Method in class com.github.javabdd.TestBDDFactory

autoReorder(BDDFactory.ReorderMethod) - Method in class com.github.javabdd.TypedBDDFactory

autoReorder(BDDFactory.ReorderMethod, int) - Method in class com.github.javabdd.TypedBDDFactory

autoReorder(BDDFactory.ReorderMethod) - Method in class com.github.javabdd.UberMicroFactory

autoReorder(BDDFactory.ReorderMethod, int) - Method in class com.github.javabdd.UberMicroFactory

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.

bdd_default_gbchandler(boolean, BDDFactory.GCStats) - Static method in class com.github.javabdd.BDDFactory

bdd_default_reohandler(boolean, BDDFactory.ReorderStats) - Method in class com.github.javabdd.BDDFactory

bdd_default_reshandler(int, int) - Static method in class com.github.javabdd.BDDFactory

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.GCStats - Class in com.github.javabdd

Stores statistics about garbage collections.

BDDFactory.LoadHash - Class in com.github.javabdd

LoadHash is used to hash during loading.

BDDFactory.ReorderMethod - Class in com.github.javabdd

Enumeration class for method reordering techniques.

BDDFactory.ReorderStats - Class in com.github.javabdd

Stores statistics about reordering.

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(BDD) - Method in class com.github.javabdd.BDD

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

biimp - Static variable in class com.github.javabdd.BDDFactory

Logical 'bi-implication'.

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

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, long) - Method in class com.github.javabdd.BDDDomain

buildAdd(BDDDomain, int, long) - Method in class com.github.javabdd.BDDDomain

buildCube(int, List) - Method in class com.github.javabdd.BDDFactory

Build a cube from an array of variables.

buildCube(int, int[]) - 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, 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.

buildVector(int[]) - Method in class com.github.javabdd.BDDFactory

Build a bit vector using the given variables.

C

cachestats - Variable in class com.github.javabdd.BDDFactory

Singleton object for 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

clearError() - Method in class com.github.javabdd.MicroFactory

clearError() - Method in class com.github.javabdd.TestBDDFactory

clearError() - Method in class com.github.javabdd.TypedBDDFactory

clearError() - Method in class com.github.javabdd.UberMicroFactory

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

clearVarBlocks() - Method in class com.github.javabdd.MicroFactory

clearVarBlocks() - Method in class com.github.javabdd.TestBDDFactory

clearVarBlocks() - Method in class com.github.javabdd.TypedBDDFactory

clearVarBlocks() - Method in class com.github.javabdd.UberMicroFactory

clone() - Method in class com.github.javabdd.BitString

Clones the BitString.

cloneFactory() - Method in class com.github.javabdd.JFactory

cloneFactory() - Method in class com.github.javabdd.MicroFactory

coerce(int) - Method in class com.github.javabdd.BDDBitVector

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(BDD, int) - Method in class com.github.javabdd.TypedBDDFactory.TypedBDD

compose_impl(int, int, int) - Method in class com.github.javabdd.BDDFactoryIntImpl

compose_impl(int, int, int) - Method in class com.github.javabdd.JFactory

compose_impl(int, int, int) - Method in class com.github.javabdd.MicroFactory

compose_impl(int, int, int) - Method in class com.github.javabdd.UberMicroFactory

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(BDD) - Method in class com.github.javabdd.TypedBDDFactory.TypedBDD

constrain_impl(int, int) - Method in class com.github.javabdd.BDDFactoryIntImpl

constrain_impl(int, int) - Method in class com.github.javabdd.JFactory

constrain_impl(int, int) - Method in class com.github.javabdd.MicroFactory

constrain_impl(int, int) - Method in class com.github.javabdd.UberMicroFactory

contains(BitString) - Method in class com.github.javabdd.BitString

Check if this set contains all bits of the given set.

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.

copyNode(BDD) - Method in class com.github.javabdd.MicroFactory

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.

createBitVector(int) - Method in class com.github.javabdd.TestBDDFactory

createBitVector(int) - Method in class com.github.javabdd.TypedBDDFactory

createDomain(int, BigInteger) - Method in class com.github.javabdd.BDDFactory

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

createDomain(int, BigInteger) - Method in class com.github.javabdd.TestBDDFactory

createDomain(int, BigInteger) - Method in class com.github.javabdd.TypedBDDFactory

D

DefaultImpl(BDD) - Constructor for class com.github.javabdd.BDDVarSet.DefaultImpl

Construct a BDDVarSet backed by the given BDD.

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

delref_impl(int) - Method in class com.github.javabdd.MicroFactory

delref_impl(int) - Method in class com.github.javabdd.UberMicroFactory

diff - Static variable in class com.github.javabdd.BDDFactory

Set difference.

disableReorder() - Method in class com.github.javabdd.BDDFactory

Disable automatic reordering until enableReorder is called.

disableReorder() - Method in class com.github.javabdd.JFactory

disableReorder() - Method in class com.github.javabdd.MicroFactory

disableReorder() - Method in class com.github.javabdd.TestBDDFactory

disableReorder() - Method in class com.github.javabdd.TypedBDDFactory

disableReorder() - Method in class com.github.javabdd.UberMicroFactory

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

doCallbacks(List, Object, Object) - Method in class com.github.javabdd.BDDFactory

doIt() - Method in class com.github.javabdd.TryVarOrder.BDDOperation

domain() - Method in class com.github.javabdd.BDDDomain

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

domain - Variable in class com.github.javabdd.BDDFactory

FINITE DOMAINS

domain_comparator - Static variable in class com.github.javabdd.TypedBDDFactory

domainNames(Set) - Static method in class com.github.javabdd.TypedBDDFactory

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

done() - Method in class com.github.javabdd.MicroFactory

done() - Method in class com.github.javabdd.TestBDDFactory

done() - Method in class com.github.javabdd.TypedBDDFactory

done() - Method in class com.github.javabdd.UberMicroFactory

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

emptySet() - Method in class com.github.javabdd.TestBDDFactory

enableReorder() - Method in class com.github.javabdd.BDDFactory

Enable automatic reordering after a call to disableReorder.

enableReorder() - Method in class com.github.javabdd.JFactory

enableReorder() - Method in class com.github.javabdd.MicroFactory

enableReorder() - Method in class com.github.javabdd.TestBDDFactory

enableReorder() - Method in class com.github.javabdd.TypedBDDFactory

enableReorder() - Method in class com.github.javabdd.UberMicroFactory

ensureCapacity(long) - Method in class com.github.javabdd.BDDDomain

ensureCapacity(BigInteger) - Method in class com.github.javabdd.BDDDomain

equals(BDD) - Method in class com.github.javabdd.BDD

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

equals(Object) - Method in class com.github.javabdd.BDD

equals(BDD) - Method in class com.github.javabdd.BDDFactoryIntImpl.IntBDD

equals(BDDVarSet) - Method in class com.github.javabdd.BDDFactoryIntImpl.IntBDDVarSet

equals(BDDVarSet) - Method in class com.github.javabdd.BDDVarSet.DefaultImpl

equals(BDDVarSet.DefaultImpl) - Method in class com.github.javabdd.BDDVarSet.DefaultImpl

equals(BDDVarSet) - Method in class com.github.javabdd.BDDVarSet

Returns true if the sets are equal.

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.

equals(MicroFactory.PairOfInts) - Method in class com.github.javabdd.MicroFactory.PairOfInts

equals(Object) - Method in class com.github.javabdd.MicroFactory.PairOfInts

equals(MicroFactory.QuadOfInts) - Method in class com.github.javabdd.MicroFactory.QuadOfInts

equals(Object) - Method in class com.github.javabdd.MicroFactory.QuadOfInts

equals(MicroFactory.TripleOfInts) - Method in class com.github.javabdd.MicroFactory.TripleOfInts

equals(Object) - Method in class com.github.javabdd.MicroFactory.TripleOfInts

equals(BDD) - Method in class com.github.javabdd.TypedBDDFactory.TypedBDD

equals(BDDVarSet) - Method in class com.github.javabdd.TypedBDDFactory.TypedBDDVarSet

equals(UberMicroFactory.PairOfInts) - Method in class com.github.javabdd.UberMicroFactory.PairOfInts

equals(Object) - Method in class com.github.javabdd.UberMicroFactory.PairOfInts

equals(UberMicroFactory.QuadOfInts) - Method in class com.github.javabdd.UberMicroFactory.QuadOfInts

equals(Object) - Method in class com.github.javabdd.UberMicroFactory.QuadOfInts

equals(UberMicroFactory.TripleOfInts) - Method in class com.github.javabdd.UberMicroFactory.TripleOfInts

equals(Object) - Method in class com.github.javabdd.UberMicroFactory.TripleOfInts

exist(BDDVarSet) - Method in class com.github.javabdd.BDD

Existential quantification of variables.

exist(BDDVarSet) - Method in class com.github.javabdd.BDDFactoryIntImpl.IntBDD

exist(BDDVarSet) - Method in class com.github.javabdd.TypedBDDFactory.TypedBDD

exist_impl(int, int) - Method in class com.github.javabdd.BDDFactoryIntImpl

exist_impl(int, int) - Method in class com.github.javabdd.JFactory

exist_impl(int, int) - Method in class com.github.javabdd.MicroFactory

exist_impl(int, int) - Method in class com.github.javabdd.UberMicroFactory

extDomain(long) - Method in class com.github.javabdd.BDDFactory

Creates a new finite domain block of the given size.

extDomain(BigInteger) - Method in class com.github.javabdd.BDDFactory

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

extDomain(BigInteger[]) - Method in class com.github.javabdd.BDDFactory

extDomain(long[]) - Method in class com.github.javabdd.TypedBDDFactory

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

FindBestOrder

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.

FLUSH_CACHE_ON_GC - Static variable in class com.github.javabdd.MicroFactory

FLUSH_CACHE_ON_GC - Static variable in class com.github.javabdd.UberMicroFactory

forAll(BDDVarSet) - Method in class com.github.javabdd.BDD

Universal quantification of variables.

forAll(BDDVarSet) - Method in class com.github.javabdd.BDDFactoryIntImpl.IntBDD

forAll(BDDVarSet) - Method in class com.github.javabdd.TypedBDDFactory.TypedBDD

forAll_impl(int, int) - Method in class com.github.javabdd.BDDFactoryIntImpl

forAll_impl(int, int) - Method in class com.github.javabdd.JFactory

forAll_impl(int, int) - Method in class com.github.javabdd.MicroFactory

forAll_impl(int, int) - Method in class com.github.javabdd.UberMicroFactory

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

free() - Method in class com.github.javabdd.TypedBDDFactory.TypedBDD

free() - Method in class com.github.javabdd.TypedBDDFactory.TypedBDDVarSet

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() - Method in class com.github.javabdd.TypedBDDFactory.TypedBDD

fullSatOne_impl(int) - Method in class com.github.javabdd.BDDFactoryIntImpl

fullSatOne_impl(int) - Method in class com.github.javabdd.JFactory

fullSatOne_impl(int) - Method in class com.github.javabdd.MicroFactory

fullSatOne_impl(int) - Method in class com.github.javabdd.UberMicroFactory

G

gain() - Method in class com.github.javabdd.BDDFactory.ReorderStats

gbc_handler(boolean, BDDFactory.GCStats) - Method in class com.github.javabdd.BDDFactory

gc_callbacks - Variable in class com.github.javabdd.BDDFactory

CALLBACKS

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

getCacheSize() - Method in class com.github.javabdd.MicroFactory

getCacheSize() - Method in class com.github.javabdd.TestBDDFactory

getCacheSize() - Method in class com.github.javabdd.TypedBDDFactory

getCacheSize() - Method in class com.github.javabdd.UberMicroFactory

getCacheStats() - Method in class com.github.javabdd.BDDFactory

Return the current cache statistics for this BDD factory.

getCacheStats() - Method in class com.github.javabdd.MicroFactory

getCacheStats() - Method in class com.github.javabdd.UberMicroFactory

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.

getDomainSet() - Method in class com.github.javabdd.TypedBDDFactory.TypedBDD

Returns the set of domains that this BDD uses.

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.

getFactory() - Method in class com.github.javabdd.TypedBDDFactory.TypedBDD

getFactory() - Method in class com.github.javabdd.TypedBDDFactory.TypedBDDVarSet

getGCStats() - Method in class com.github.javabdd.BDDFactory

Return the current GC statistics for this BDD factory.

getIndex() - Method in class com.github.javabdd.BDDDomain

Returns the index of this domain.

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

getNodeNum() - Method in class com.github.javabdd.MicroFactory

getNodeNum() - Method in class com.github.javabdd.TestBDDFactory

getNodeNum() - Method in class com.github.javabdd.TypedBDDFactory

getNodeNum() - Method in class com.github.javabdd.UberMicroFactory

getNodeTableSize() - Method in class com.github.javabdd.BDDFactory

Get the number of allocated nodes.

getNodeTableSize() - Method in class com.github.javabdd.JFactory

getNodeTableSize() - Method in class com.github.javabdd.MicroFactory

getNodeTableSize() - Method in class com.github.javabdd.TestBDDFactory

getNodeTableSize() - Method in class com.github.javabdd.TypedBDDFactory

getNodeTableSize() - Method in class com.github.javabdd.UberMicroFactory

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

getReorderMethod() - Method in class com.github.javabdd.MicroFactory

getReorderMethod() - Method in class com.github.javabdd.TestBDDFactory

getReorderMethod() - Method in class com.github.javabdd.TypedBDDFactory

getReorderMethod() - Method in class com.github.javabdd.UberMicroFactory

getReorderStats() - Method in class com.github.javabdd.BDDFactory

Return the current reordering statistics for this BDD factory.

getReorderTimes() - Method in class com.github.javabdd.BDDFactory

Returns the number of allowed reorderings left.

getReorderTimes() - Method in class com.github.javabdd.JFactory

getReorderTimes() - Method in class com.github.javabdd.MicroFactory

getReorderTimes() - Method in class com.github.javabdd.TestBDDFactory

getReorderTimes() - Method in class com.github.javabdd.TypedBDDFactory

getReorderTimes() - Method in class com.github.javabdd.UberMicroFactory

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.

getVersion() - Method in class com.github.javabdd.BDDFactory

Get the BDD library version.

getVersion() - Method in class com.github.javabdd.JFactory

getVersion() - Method in class com.github.javabdd.MicroFactory

getVersion() - Method in class com.github.javabdd.TestBDDFactory

getVersion() - Method in class com.github.javabdd.TypedBDDFactory

getVersion() - Method in class com.github.javabdd.UberMicroFactory

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

handleDeferredFree() - Method in class com.github.javabdd.UberMicroFactory

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.

hashCode() - Method in class com.github.javabdd.MicroFactory.PairOfInts

hashCode() - Method in class com.github.javabdd.MicroFactory.QuadOfInts

hashCode() - Method in class com.github.javabdd.MicroFactory.TripleOfInts

hashCode() - Method in class com.github.javabdd.TypedBDDFactory.TypedBDD

hashCode() - Method in class com.github.javabdd.TypedBDDFactory.TypedBDDVarSet

hashCode() - Method in class com.github.javabdd.UberMicroFactory.PairOfInts

hashCode() - Method in class com.github.javabdd.UberMicroFactory.QuadOfInts

hashCode() - Method in class com.github.javabdd.UberMicroFactory.TripleOfInts

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

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() - Method in class com.github.javabdd.TypedBDDFactory.TypedBDD

high_impl(int) - Method in class com.github.javabdd.BDDFactoryIntImpl

high_impl(int) - Method in class com.github.javabdd.JFactory

high_impl(int) - Method in class com.github.javabdd.MicroFactory

high_impl(int) - Method in class com.github.javabdd.UberMicroFactory

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

id() - Method in class com.github.javabdd.TypedBDDFactory.TypedBDD

id() - Method in class com.github.javabdd.TypedBDDFactory.TypedBDDVarSet

imp(BDD) - Method in class com.github.javabdd.BDD

Returns the logical 'implication' of two BDDs.

imp - Static variable in class com.github.javabdd.BDDFactory

Logical 'implication'.

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(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.

init(BDD, BDD, BDDVarSet, BDDFactory.BDDOp) - Method in class com.github.javabdd.FindBestOrder

init(int, int) - Static method in class com.github.javabdd.JFactory

init(int, int) - Static method in class com.github.javabdd.MicroFactory

init(int, int) - Static method in class com.github.javabdd.TestBDDFactory

init(BDD, BDD, BDD, BDDFactory.BDDOp) - Method in class com.github.javabdd.TryVarOrder

Initialize for a new trial.

init(int, int) - Static method in class com.github.javabdd.TypedBDDFactory

init(int, int) - Static method in class com.github.javabdd.UberMicroFactory

initialize(boolean) - Method in class com.github.javabdd.BDDBitVector

initialize(int) - Method in class com.github.javabdd.BDDBitVector

initialize(long) - Method in class com.github.javabdd.BDDBitVector

initialize(BigInteger) - Method in class com.github.javabdd.BDDBitVector

initialize(int, int) - Method in class com.github.javabdd.BDDBitVector

initialize(BDDDomain) - 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.BDDFactory

Compare to bdd_init.

initialize(int, int) - Method in class com.github.javabdd.JFactory

initialize(int, int) - Method in class com.github.javabdd.MicroFactory

initialize(int, int) - Method in class com.github.javabdd.TestBDDFactory

initialize(int, int) - Method in class com.github.javabdd.TypedBDDFactory

initialize(int, int) - Method in class com.github.javabdd.UberMicroFactory

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.

intersect(BDDVarSet) - Method in class com.github.javabdd.TypedBDDFactory.TypedBDDVarSet

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.

intersectWith(BDDVarSet) - Method in class com.github.javabdd.TypedBDDFactory.TypedBDDVarSet

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

invalid_bdd_impl() - Method in class com.github.javabdd.MicroFactory

invalid_bdd_impl() - Method in class com.github.javabdd.UberMicroFactory

invimp - Static variable in class com.github.javabdd.BDDFactory

Inverse implication.

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

isEmpty() - Method in class com.github.javabdd.TypedBDDFactory.TypedBDDVarSet

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

isInitialized() - Method in class com.github.javabdd.MicroFactory

isInitialized() - Method in class com.github.javabdd.TestBDDFactory

isInitialized() - Method in class com.github.javabdd.TypedBDDFactory

isInitialized() - Method in class com.github.javabdd.UberMicroFactory

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

isOne() - Method in class com.github.javabdd.TypedBDDFactory.TypedBDD

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.

isZero() - Method in class com.github.javabdd.TypedBDDFactory.TypedBDD

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(BDD, BDD) - Method in class com.github.javabdd.TypedBDDFactory.TypedBDD

ite_impl(int, int, int) - Method in class com.github.javabdd.BDDFactoryIntImpl

ite_impl(int, int, int) - Method in class com.github.javabdd.JFactory

ite_impl(int, int, int) - Method in class com.github.javabdd.MicroFactory

ite_impl(int, int, int) - Method in class com.github.javabdd.UberMicroFactory

iterator(BDDVarSet) - Method in class com.github.javabdd.BDD

Returns an iteration of the satisfying assignments of this BDD.

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.TypedBDDFactory.TypedBDD

iterator() - Method in class com.github.javabdd.TypedBDDFactory.TypedBDD

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(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(int) - Method in class com.github.javabdd.TestBDDFactory

ithVar(int) - Method in class com.github.javabdd.TypedBDDFactory

ithVar_impl(int) - Method in class com.github.javabdd.BDDFactoryIntImpl

ithVar_impl(int) - Method in class com.github.javabdd.JFactory

ithVar_impl(int) - Method in class com.github.javabdd.MicroFactory

ithVar_impl(int) - Method in class com.github.javabdd.UberMicroFactory

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(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.

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.

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

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

level2Var(int) - Method in class com.github.javabdd.MicroFactory

level2Var(int) - Method in class com.github.javabdd.TestBDDFactory

level2Var(int) - Method in class com.github.javabdd.TypedBDDFactory

level2Var(int) - Method in class com.github.javabdd.UberMicroFactory

level_impl(int) - Method in class com.github.javabdd.BDDFactoryIntImpl

level_impl(int) - Method in class com.github.javabdd.JFactory

level_impl(int) - Method in class com.github.javabdd.MicroFactory

level_impl(int) - Method in class com.github.javabdd.UberMicroFactory

load(String) - Method in class com.github.javabdd.BDDFactory

Loads a BDD from a file.

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(BufferedReader, int[]) - Method in class com.github.javabdd.MicroFactory

load(String) - Method in class com.github.javabdd.TestBDDFactory

load() - Method in class com.github.javabdd.TryVarOrder.BDDOperation

load(String) - Method in class com.github.javabdd.TypedBDDFactory

load(BufferedReader, int[]) - Method in class com.github.javabdd.UberMicroFactory

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() - Method in class com.github.javabdd.TypedBDDFactory.TypedBDD

low_impl(int) - Method in class com.github.javabdd.BDDFactoryIntImpl

low_impl(int) - Method in class com.github.javabdd.JFactory

low_impl(int) - Method in class com.github.javabdd.MicroFactory

low_impl(int) - Method in class com.github.javabdd.UberMicroFactory

M

makeBDD(int) - Method in class com.github.javabdd.BDDFactoryIntImpl

makeBDD(int) - Method in class com.github.javabdd.UberMicroFactory

makeBDDVarSet(int) - Method in class com.github.javabdd.BDDFactoryIntImpl

makeBDDVarSet(int) - Method in class com.github.javabdd.UberMicroFactory

makeMap() - Static method in class com.github.javabdd.TypedBDDFactory

makenode_impl(int, int, int) - Method in class com.github.javabdd.BDDFactoryIntImpl

makenode_impl(int, int, int) - Method in class com.github.javabdd.JFactory

makenode_impl(int, int, int) - Method in class com.github.javabdd.MicroFactory

makenode_impl(int, int, int) - Method in class com.github.javabdd.UberMicroFactory

makePair() - Method in class com.github.javabdd.BDDFactory

Make a new BDDPairing object.

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.

makePair() - Method in class com.github.javabdd.JFactory

makePair() - Method in class com.github.javabdd.MicroFactory

makePair() - Method in class com.github.javabdd.TestBDDFactory

makePair() - Method in class com.github.javabdd.TypedBDDFactory

makePair() - Method in class com.github.javabdd.UberMicroFactory

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.

makeSet() - Static method in class com.github.javabdd.TypedBDDFactory

makeSet(Set) - Static method in class com.github.javabdd.TypedBDDFactory

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

MicroFactory - Class in com.github.javabdd

BDD factory where each node only takes 16 bytes.

MicroFactory.PairOfInts - Class in com.github.javabdd

MicroFactory.QuadOfInts - Class in com.github.javabdd

MicroFactory.TripleOfInts - Class in com.github.javabdd

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'.

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(int) - Method in class com.github.javabdd.TestBDDFactory

nithVar(int) - Method in class com.github.javabdd.TypedBDDFactory

nithVar_impl(int) - Method in class com.github.javabdd.BDDFactoryIntImpl

nithVar_impl(int) - Method in class com.github.javabdd.JFactory

nithVar_impl(int) - Method in class com.github.javabdd.MicroFactory

nithVar_impl(int) - Method in class com.github.javabdd.UberMicroFactory

nodeCount() - Method in class com.github.javabdd.BDD

Counts the number of distinct nodes used for this BDD.

nodeCount(Collection) - Method in class com.github.javabdd.BDDFactory

Counts the number of shared nodes in a collection of BDDs.

nodeCount() - Method in class com.github.javabdd.BDDFactoryIntImpl.IntBDD

nodeCount(Collection) - Method in class com.github.javabdd.BDDFactoryIntImpl

nodeCount(Collection) - Method in class com.github.javabdd.TestBDDFactory

nodeCount(Collection) - Method in class com.github.javabdd.TypedBDDFactory

nodeCount() - Method in class com.github.javabdd.TypedBDDFactory.TypedBDD

nodeCount_impl(int) - Method in class com.github.javabdd.BDDFactoryIntImpl

nodeCount_impl(int) - Method in class com.github.javabdd.JFactory

nodeCount_impl(int) - Method in class com.github.javabdd.MicroFactory

nodeCount_impl(int) - Method in class com.github.javabdd.UberMicroFactory

nodeCount_impl2(int[]) - Method in class com.github.javabdd.BDDFactoryIntImpl

nodeCount_impl2(int[]) - Method in class com.github.javabdd.JFactory

nodeCount_impl2(int[]) - Method in class com.github.javabdd.MicroFactory

nodeCount_impl2(int[]) - Method in class com.github.javabdd.UberMicroFactory

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() - Method in class com.github.javabdd.TypedBDDFactory.TypedBDD

not_impl(int) - Method in class com.github.javabdd.BDDFactoryIntImpl

not_impl(int) - Method in class com.github.javabdd.JFactory

not_impl(int) - Method in class com.github.javabdd.MicroFactory

not_impl(int) - Method in class com.github.javabdd.UberMicroFactory

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() - Method in class com.github.javabdd.TestBDDFactory

one() - Method in class com.github.javabdd.TypedBDDFactory

one_impl() - Method in class com.github.javabdd.BDDFactoryIntImpl

one_impl() - Method in class com.github.javabdd.JFactory

one_impl() - Method in class com.github.javabdd.MicroFactory

one_impl() - Method in class com.github.javabdd.UberMicroFactory

opHit - Variable in class com.github.javabdd.BDDFactory.CacheStats

opMiss - Variable in class com.github.javabdd.BDDFactory.CacheStats

or(BDD) - Method in class com.github.javabdd.BDD

Returns the logical 'or' of two BDDs.

or - Static variable in class com.github.javabdd.BDDFactory

Logical 'or'.

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

PairOfInts(int, int) - Constructor for class com.github.javabdd.MicroFactory.PairOfInts

PairOfInts(int, int) - Constructor for class com.github.javabdd.UberMicroFactory.PairOfInts

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() - Method in class com.github.javabdd.TypedBDDFactory.TypedBDD

pathCount_impl(int) - Method in class com.github.javabdd.BDDFactoryIntImpl

pathCount_impl(int) - Method in class com.github.javabdd.JFactory

pathCount_impl(int) - Method in class com.github.javabdd.MicroFactory

pathCount_impl(int) - Method in class com.github.javabdd.UberMicroFactory

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

printAll() - Method in class com.github.javabdd.MicroFactory

printAll() - Method in class com.github.javabdd.TestBDDFactory

printAll() - Method in class com.github.javabdd.TypedBDDFactory

printAll() - Method in class com.github.javabdd.UberMicroFactory

printDot() - Method in class com.github.javabdd.BDD

Prints this BDD in dot graph notation.

printdot_rec(PrintStream, int, boolean[], HashMap) - 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

printOrder() - Method in class com.github.javabdd.MicroFactory

printOrder() - Method in class com.github.javabdd.TestBDDFactory

printOrder() - Method in class com.github.javabdd.TypedBDDFactory

printOrder() - Method in class com.github.javabdd.UberMicroFactory

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

printStat() - Method in class com.github.javabdd.MicroFactory

printStat() - Method in class com.github.javabdd.TestBDDFactory

printStat() - Method in class com.github.javabdd.TypedBDDFactory

printStat() - Method in class com.github.javabdd.UberMicroFactory

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(BDD) - Method in class com.github.javabdd.TestBDDFactory

printTable(BDD) - Method in class com.github.javabdd.TypedBDDFactory

printTable_impl(int) - Method in class com.github.javabdd.BDDFactoryIntImpl

printTable_impl(int) - Method in class com.github.javabdd.JFactory

printTable_impl(int) - Method in class com.github.javabdd.MicroFactory

printTable_impl(int) - Method in class com.github.javabdd.UberMicroFactory

Q

QuadOfInts(int, int, int, int) - Constructor for class com.github.javabdd.MicroFactory.QuadOfInts

QuadOfInts(int, int, int, int) - Constructor for class com.github.javabdd.UberMicroFactory.QuadOfInts

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

registerCallback(List, Object, Method) - Method in class com.github.javabdd.BDDFactory

registerGCCallback(Object, Method) - Method in class com.github.javabdd.BDDFactory

Register a callback that is called when garbage collection is about to occur.

registerReorderCallback(Object, Method) - Method in class com.github.javabdd.BDDFactory

Register a callback that is called when reordering is about to occur.

registerResizeCallback(Object, Method) - Method in class com.github.javabdd.BDDFactory

Register a callback that is called when node table resizing is about to occur.

relprod(BDD, BDDVarSet) - Method in class com.github.javabdd.BDD

Relational product.

relprod(BDD, BDDVarSet) - Method in class com.github.javabdd.TypedBDDFactory.TypedBDD

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.ReorderMethod) - Method in class com.github.javabdd.MicroFactory

reorder(BDDFactory.ReorderMethod) - Method in class com.github.javabdd.TestBDDFactory

reorder(BDDFactory.ReorderMethod) - Method in class com.github.javabdd.TypedBDDFactory

reorder(BDDFactory.ReorderMethod) - Method in class com.github.javabdd.UberMicroFactory

reorder_callbacks - Variable in class com.github.javabdd.BDDFactory

CALLBACKS

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.

reorderGain() - Method in class com.github.javabdd.BDDFactory

Calculate the gain in size after a reordering.

reorderGain() - Method in class com.github.javabdd.JFactory

reorderGain() - Method in class com.github.javabdd.MicroFactory

reorderGain() - Method in class com.github.javabdd.TestBDDFactory

reorderGain() - Method in class com.github.javabdd.TypedBDDFactory

reorderGain() - Method in class com.github.javabdd.UberMicroFactory

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

reorderVerbose(int) - Method in class com.github.javabdd.MicroFactory

reorderVerbose(int) - Method in class com.github.javabdd.TestBDDFactory

reorderVerbose(int) - Method in class com.github.javabdd.TypedBDDFactory

reorderVerbose(int) - Method in class com.github.javabdd.UberMicroFactory

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(BDDPairing) - Method in class com.github.javabdd.TypedBDDFactory.TypedBDD

replace_impl(int, BDDPairing) - Method in class com.github.javabdd.BDDFactoryIntImpl

replace_impl(int, BDDPairing) - Method in class com.github.javabdd.JFactory

replace_impl(int, BDDPairing) - Method in class com.github.javabdd.MicroFactory

replace_impl(int, BDDPairing) - Method in class com.github.javabdd.UberMicroFactory

replaceWith(BDDPairing) - Method in class com.github.javabdd.BDD

Replaces all variables in this BDD with the variables defined by pair.

replaceWith(BDDBitVector) - Method in class com.github.javabdd.BDDBitVector

replaceWith(BDDPairing) - Method in class com.github.javabdd.BDDFactoryIntImpl.IntBDD

replaceWith(BDDPairing) - Method in class com.github.javabdd.TypedBDDFactory.TypedBDD

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).

resize_callbacks - Variable in class com.github.javabdd.BDDFactory

CALLBACKS

resize_handler(int, int) - Method in class com.github.javabdd.BDDFactory

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(BDD) - Method in class com.github.javabdd.TypedBDDFactory.TypedBDD

restrict_impl(int, int) - Method in class com.github.javabdd.BDDFactoryIntImpl

restrict_impl(int, int) - Method in class com.github.javabdd.JFactory

restrict_impl(int, int) - Method in class com.github.javabdd.MicroFactory

restrict_impl(int, int) - Method in class com.github.javabdd.UberMicroFactory

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

restrictWith(BDD) - Method in class com.github.javabdd.TypedBDDFactory.TypedBDD

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

REVISION - Static variable in class com.github.javabdd.JFactory

REVISION - Static variable in class com.github.javabdd.MicroFactory

REVISION - Static variable in class com.github.javabdd.TestBDDFactory

REVISION - Static variable in class com.github.javabdd.TypedBDDFactory

REVISION - Static variable in class com.github.javabdd.UberMicroFactory

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(BDDVarSet) - Method in class com.github.javabdd.BDD

Calculates the number of satisfying variable assignments to the variables in the given varset.

satCount() - Method in class com.github.javabdd.BDDFactoryIntImpl.IntBDD

satCount() - Method in class com.github.javabdd.TypedBDDFactory.TypedBDD

satCount(BDDVarSet) - Method in class com.github.javabdd.TypedBDDFactory.TypedBDD

satCount_impl(int) - Method in class com.github.javabdd.BDDFactoryIntImpl

satCount_impl(int) - Method in class com.github.javabdd.JFactory

satCount_impl(int) - Method in class com.github.javabdd.MicroFactory

satCount_impl(int) - Method in class com.github.javabdd.UberMicroFactory

satOne() - Method in class com.github.javabdd.BDD

Finds one satisfying variable assignment.

satOne(BDDVarSet, boolean) - 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.BDDFactoryIntImpl.IntBDD

satOne() - Method in class com.github.javabdd.TypedBDDFactory.TypedBDD

satOne(BDDVarSet, boolean) - Method in class com.github.javabdd.TypedBDDFactory.TypedBDD

satOne_impl(int) - Method in class com.github.javabdd.BDDFactoryIntImpl

satOne_impl(int) - Method in class com.github.javabdd.JFactory

satOne_impl(int) - Method in class com.github.javabdd.MicroFactory

satOne_impl(int) - Method in class com.github.javabdd.UberMicroFactory

satOne_impl2(int, int, boolean) - Method in class com.github.javabdd.BDDFactoryIntImpl

satOne_impl2(int, int, boolean) - Method in class com.github.javabdd.JFactory

satOne_impl2(int, int, boolean) - Method in class com.github.javabdd.MicroFactory

satOne_impl2(int, int, boolean) - Method in class com.github.javabdd.UberMicroFactory

save(String, BDD) - Method in class com.github.javabdd.BDDFactory

Saves a BDD to a file.

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(BufferedWriter, BDD) - Method in class com.github.javabdd.MicroFactory

save(String, BDD) - Method in class com.github.javabdd.TestBDDFactory

save(String, BDD) - Method in class com.github.javabdd.TypedBDDFactory

save(BufferedWriter, BDD) - Method in class com.github.javabdd.UberMicroFactory

save_rec(BufferedWriter, BitSet, BDD) - Method in class com.github.javabdd.BDDFactory

Helper function for save().

save_rec_original(BufferedWriter, Map, 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, int) - Method in class com.github.javabdd.BDDPairing

Adds the pair (oldvar, newvar) to this table of pairs.

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

Adds the pair (oldvar, newvar) to this table of pairs.

set(int[], BDD[]) - 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.

set(BDDDomain[], BDDDomain[]) - Method in class com.github.javabdd.BDDPairing

Like set(), but with a whole list of pairs.

set(int) - Method in class com.github.javabdd.BitString

Sets a bit.

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

setCacheRatio(double) - Method in class com.github.javabdd.MicroFactory

setCacheRatio(double) - Method in class com.github.javabdd.TestBDDFactory

setCacheRatio(double) - Method in class com.github.javabdd.TypedBDDFactory

setCacheRatio(double) - Method in class com.github.javabdd.UberMicroFactory

setCacheSize(int) - Method in class com.github.javabdd.BDDFactory

Sets cache size.

setCacheSize(int) - Method in class com.github.javabdd.JFactory

setCacheSize(int) - Method in class com.github.javabdd.MicroFactory

setCacheSize(int) - Method in class com.github.javabdd.TestBDDFactory

setCacheSize(int) - Method in class com.github.javabdd.TypedBDDFactory

setCacheSize(int) - Method in class com.github.javabdd.UberMicroFactory

setDomains(Set) - Method in class com.github.javabdd.TypedBDDFactory.TypedBDD

Changes this BDD's domains to be the given set.

setDomains(BDDDomain) - Method in class com.github.javabdd.TypedBDDFactory.TypedBDD

Changes this BDD's domain to be the given domain.

setDomains(BDDDomain, BDDDomain) - Method in class com.github.javabdd.TypedBDDFactory.TypedBDD

Changes this BDD's domains to be the given domains.

setDomains(BDDDomain, BDDDomain, BDDDomain) - Method in class com.github.javabdd.TypedBDDFactory.TypedBDD

Changes this BDD's domains to be the given domains.

setDomains(BDDDomain, BDDDomain, BDDDomain, BDDDomain) - Method in class com.github.javabdd.TypedBDDFactory.TypedBDD

Changes this BDD's domains to be the given domains.

setDomains(BDDDomain, BDDDomain, BDDDomain, BDDDomain, BDDDomain) - Method in class com.github.javabdd.TypedBDDFactory.TypedBDD

Changes this BDD's domains to be the given domains.

setError(int) - Method in class com.github.javabdd.BDDFactory

Sets the error condition.

setError(int) - Method in class com.github.javabdd.JFactory

setError(int) - Method in class com.github.javabdd.MicroFactory

setError(int) - Method in class com.github.javabdd.TestBDDFactory

setError(int) - Method in class com.github.javabdd.TypedBDDFactory

setError(int) - Method in class com.github.javabdd.UberMicroFactory

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

setIncreaseFactor(double) - Method in class com.github.javabdd.MicroFactory

setIncreaseFactor(double) - Method in class com.github.javabdd.TestBDDFactory

setIncreaseFactor(double) - Method in class com.github.javabdd.TypedBDDFactory

setIncreaseFactor(double) - Method in class com.github.javabdd.UberMicroFactory

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

setMaxIncrease(int) - Method in class com.github.javabdd.MicroFactory

setMaxIncrease(int) - Method in class com.github.javabdd.TestBDDFactory

setMaxIncrease(int) - Method in class com.github.javabdd.TypedBDDFactory

setMaxIncrease(int) - Method in class com.github.javabdd.UberMicroFactory

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

setMaxNodeNum(int) - Method in class com.github.javabdd.MicroFactory

setMaxNodeNum(int) - Method in class com.github.javabdd.TestBDDFactory

setMaxNodeNum(int) - Method in class com.github.javabdd.TypedBDDFactory

setMaxNodeNum(int) - Method in class com.github.javabdd.UberMicroFactory

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

setMinFreeNodes(double) - Method in class com.github.javabdd.MicroFactory

setMinFreeNodes(double) - Method in class com.github.javabdd.TestBDDFactory

setMinFreeNodes(double) - Method in class com.github.javabdd.TypedBDDFactory

setMinFreeNodes(double) - Method in class com.github.javabdd.UberMicroFactory

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

setNodeTableSize(int) - Method in class com.github.javabdd.MicroFactory

setNodeTableSize(int) - Method in class com.github.javabdd.TestBDDFactory

setNodeTableSize(int) - Method in class com.github.javabdd.TypedBDDFactory

setNodeTableSize(int) - Method in class com.github.javabdd.UberMicroFactory

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

setVarNum(int) - Method in class com.github.javabdd.MicroFactory

setVarNum(int) - Method in class com.github.javabdd.TestBDDFactory

setVarNum(int) - Method in class com.github.javabdd.TypedBDDFactory

setVarNum(int) - Method in class com.github.javabdd.UberMicroFactory

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) - Method in class com.github.javabdd.JFactory

Set the variable order to be the given list of domains.

setVarOrder(int[]) - Method in class com.github.javabdd.MicroFactory

setVarOrder(int[]) - Method in class com.github.javabdd.TestBDDFactory

setVarOrder(boolean, String) - Method in class com.github.javabdd.TryVarOrder.BDDOperation

setVarOrder(int[]) - Method in class com.github.javabdd.TypedBDDFactory

setVarOrder(int[]) - Method in class com.github.javabdd.UberMicroFactory

shl(int, BDD) - Method in class com.github.javabdd.BDDBitVector

shl(int) - Method in class com.github.javabdd.BitString

Performs a left-shift operation.

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(BDD) - Method in class com.github.javabdd.TypedBDDFactory.TypedBDD

simplify_impl(int, int) - Method in class com.github.javabdd.BDDFactoryIntImpl

simplify_impl(int, int) - Method in class com.github.javabdd.JFactory

simplify_impl(int, int) - Method in class com.github.javabdd.MicroFactory

simplify_impl(int, int) - Method in class com.github.javabdd.UberMicroFactory

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.

size() - Method in class com.github.javabdd.TypedBDDFactory.TypedBDDVarSet

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() - Method in class com.github.javabdd.TypedBDDFactory.TypedBDD

support_impl(int) - Method in class com.github.javabdd.BDDFactoryIntImpl

support_impl(int) - Method in class com.github.javabdd.JFactory

support_impl(int) - Method in class com.github.javabdd.MicroFactory

support_impl(int) - Method in class com.github.javabdd.UberMicroFactory

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

swapVar(int, int) - Method in class com.github.javabdd.MicroFactory

swapVar(int, int) - Method in class com.github.javabdd.TestBDDFactory

swapVar(int, int) - Method in class com.github.javabdd.TypedBDDFactory

swapVar(int, int) - Method in class com.github.javabdd.UberMicroFactory

T

TestBDDFactory - Class in com.github.javabdd

This BDD factory is used to test other BDD factories.

TestBDDFactory(BDDFactory, BDDFactory) - Constructor for class com.github.javabdd.TestBDDFactory

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

toArray() - Method in class com.github.javabdd.TypedBDDFactory.TypedBDDVarSet

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

toBDD() - Method in class com.github.javabdd.TypedBDDFactory.TypedBDDVarSet

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

toLevelArray() - Method in class com.github.javabdd.TypedBDDFactory.TypedBDDVarSet

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.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

toVarSet() - Method in class com.github.javabdd.TypedBDDFactory.TypedBDD

TripleOfInts(int, int, int) - Constructor for class com.github.javabdd.MicroFactory.TripleOfInts

TripleOfInts(int, int, int) - Constructor for class com.github.javabdd.UberMicroFactory.TripleOfInts

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

TryVarOrder

TryVarOrder(int, int, int, long, long) - Constructor for class com.github.javabdd.TryVarOrder

Construct a new TryVarOrder.

TryVarOrder.BDDOperation - Class in com.github.javabdd

TryVarOrder.TryThread - Class in com.github.javabdd

TypedBDD(BDD, Set) - Constructor for class com.github.javabdd.TypedBDDFactory.TypedBDD

TypedBDDFactory - Class in com.github.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 com.github.javabdd.TypedBDDFactory

TypedBDDFactory.TypedBDD - Class in com.github.javabdd

A BDD with types (domains) attached to it.

TypedBDDFactory.TypedBDDVarSet - Class in com.github.javabdd

TypedBDDVarSet(BDDVarSet, Set) - Constructor for class com.github.javabdd.TypedBDDFactory.TypedBDDVarSet

U

UberMicroFactory - Class in com.github.javabdd

BDD factory where each node only takes 16 bytes.

UberMicroFactory.Micro5VarSet - Class in com.github.javabdd

UberMicroFactory.PairOfInts - Class in com.github.javabdd

UberMicroFactory.QuadOfInts - Class in com.github.javabdd

UberMicroFactory.TripleOfInts - Class in com.github.javabdd

union(BDDVarSet) - Method in class com.github.javabdd.BDDFactoryIntImpl.IntBDDVarSet

union(int) - Method in class com.github.javabdd.BDDFactoryIntImpl.IntBDDVarSet

union(BDDVarSet) - Method in class com.github.javabdd.BDDVarSet.DefaultImpl

union(int) - 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.

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.TypedBDDFactory.TypedBDDVarSet

union(int) - Method in class com.github.javabdd.TypedBDDFactory.TypedBDDVarSet

unionWith(BDDVarSet) - Method in class com.github.javabdd.BDDFactoryIntImpl.IntBDDVarSet

unionWith(int) - Method in class com.github.javabdd.BDDFactoryIntImpl.IntBDDVarSet

unionWith(BDDVarSet) - Method in class com.github.javabdd.BDDVarSet.DefaultImpl

unionWith(int) - 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.

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.TypedBDDFactory.TypedBDDVarSet

unionWith(int) - Method in class com.github.javabdd.TypedBDDFactory.TypedBDDVarSet

unique(BDDVarSet) - Method in class com.github.javabdd.BDD

Unique quantification of variables.

unique(BDDVarSet) - Method in class com.github.javabdd.BDDFactoryIntImpl.IntBDD

unique(BDDVarSet) - Method in class com.github.javabdd.TypedBDDFactory.TypedBDD

unique_impl(int, int) - Method in class com.github.javabdd.BDDFactoryIntImpl

unique_impl(int, int) - Method in class com.github.javabdd.JFactory

unique_impl(int, int) - Method in class com.github.javabdd.MicroFactory

unique_impl(int, int) - Method in class com.github.javabdd.UberMicroFactory

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() - Method in class com.github.javabdd.TestBDDFactory

universe_impl() - Method in class com.github.javabdd.BDDFactoryIntImpl

universe_impl() - Method in class com.github.javabdd.JFactory

unregisterCallback(List, Object, Method) - Method in class com.github.javabdd.BDDFactory

unregisterGCCallback(Object, Method) - Method in class com.github.javabdd.BDDFactory

Unregister a garbage collection callback that was previously registered.

unregisterReorderCallback(Object, Method) - Method in class com.github.javabdd.BDDFactory

Unregister a reorder callback that was previously registered.

unregisterResizeCallback(Object, Method) - Method in class com.github.javabdd.BDDFactory

Unregister a reorder callback that was previously registered.

unwrap(BDD) - Static method in class com.github.javabdd.BDDFactoryIntImpl

unwrap(Collection) - Static method in class com.github.javabdd.BDDFactoryIntImpl

unwrap(BDDVarSet) - 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

validateAll() - Method in class com.github.javabdd.MicroFactory

validateAll() - Method in class com.github.javabdd.UberMicroFactory

validateBDD(BDD) - Method in class com.github.javabdd.JFactory

validateBDD(BDD) - Method in class com.github.javabdd.MicroFactory

validateBDD(BDD) - Method in class com.github.javabdd.UberMicroFactory

validateLive() - Method in class com.github.javabdd.UberMicroFactory

var() - Method in class com.github.javabdd.BDD

Gets the variable labeling the BDD.

var - Variable in class com.github.javabdd.BDDDomain

var() - Method in class com.github.javabdd.BDDFactoryIntImpl.IntBDD

var() - Method in class com.github.javabdd.TypedBDDFactory.TypedBDD

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

var2Level(int) - Method in class com.github.javabdd.MicroFactory

var2Level(int) - Method in class com.github.javabdd.TestBDDFactory

var2Level(int) - Method in class com.github.javabdd.TypedBDDFactory

var2Level(int) - Method in class com.github.javabdd.UberMicroFactory

var_impl(int) - Method in class com.github.javabdd.BDDFactoryIntImpl

var_impl(int) - Method in class com.github.javabdd.JFactory

var_impl(int) - Method in class com.github.javabdd.MicroFactory

var_impl(int) - Method in class com.github.javabdd.UberMicroFactory

varBlockAll() - Method in class com.github.javabdd.BDDFactory

Add a variable block for all variables.

varBlockAll() - Method in class com.github.javabdd.JFactory

varBlockAll() - Method in class com.github.javabdd.MicroFactory

varBlockAll() - Method in class com.github.javabdd.TestBDDFactory

varBlockAll() - Method in class com.github.javabdd.TypedBDDFactory

varBlockAll() - Method in class com.github.javabdd.UberMicroFactory

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

varNum() - Method in class com.github.javabdd.MicroFactory

varNum() - Method in class com.github.javabdd.TestBDDFactory

varNum() - Method in class com.github.javabdd.TypedBDDFactory

varNum() - Method in class com.github.javabdd.UberMicroFactory

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() - Method in class com.github.javabdd.TypedBDDFactory.TypedBDD

varProfile_impl(int) - Method in class com.github.javabdd.BDDFactoryIntImpl

varProfile_impl(int) - Method in class com.github.javabdd.JFactory

varProfile_impl(int) - Method in class com.github.javabdd.MicroFactory

varProfile_impl(int) - Method in class com.github.javabdd.UberMicroFactory

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(BDDPairing) - Method in class com.github.javabdd.TypedBDDFactory.TypedBDD

veccompose_impl(int, BDDPairing) - Method in class com.github.javabdd.BDDFactoryIntImpl

veccompose_impl(int, BDDPairing) - Method in class com.github.javabdd.JFactory

veccompose_impl(int, BDDPairing) - Method in class com.github.javabdd.MicroFactory

veccompose_impl(int, BDDPairing) - Method in class com.github.javabdd.UberMicroFactory

W

whichDomain(int) - Method in class com.github.javabdd.TypedBDDFactory

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(BDD) - Method in class com.github.javabdd.BDD

Returns the logical 'xor' of two BDDs.

xor - Static variable in class com.github.javabdd.BDDFactory

Logical 'xor'.

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() - Method in class com.github.javabdd.TestBDDFactory

zero() - Method in class com.github.javabdd.TypedBDDFactory

zero_impl() - Method in class com.github.javabdd.BDDFactoryIntImpl

zero_impl() - Method in class com.github.javabdd.JFactory

zero_impl() - Method in class com.github.javabdd.MicroFactory

zero_impl() - Method in class com.github.javabdd.UberMicroFactory

zeroIterator() - Method in class com.github.javabdd.BitString

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