Uses of Class
com.github.javabdd.BDDDomain

Uses of BDDDomain in com.github.javabdd

Fields in com.github.javabdd declared as BDDDomain

Modifier and Type	Field	Description
protected BDDDomain[]	BDDFactory.domain

Methods in com.github.javabdd that return BDDDomain

Modifier and Type	Method	Description
protected BDDDomain	BDDFactory.createDomain(int a, BigInteger b)	Implementors must implement this factory method to create BDDDomain objects of the correct type.
BDDDomain[]	BDDFactory.extDomain(int[] dom)	Extends the set of finite domain blocks with domains of the given sizes.
BDDDomain	BDDFactory.extDomain(long domainSize)	Creates a new finite domain block of the given size.
BDDDomain[]	BDDFactory.extDomain(long[] dom)
BDDDomain	BDDFactory.extDomain(BigInteger domainSize)
BDDDomain[]	BDDFactory.extDomain(BigInteger[] domainSizes)
BDDDomain	BDDFactory.getDomain(int i)	Returns the ith finite domain block, as defined by calls to extDomain().
BDDDomain[]	BDDVarSet.getDomains()	Scans this BDD and copies the stored variables into an array of BDDDomains.
BDDDomain	BDDFactory.overlapDomain(BDDDomain d1, BDDDomain d2)	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.

Methods in com.github.javabdd with parameters of type BDDDomain

Modifier and Type	Method	Description
BDD	BDDDomain.buildAdd(BDDDomain that, int bits, long value)
BDD	BDDDomain.buildAdd(BDDDomain that, long value)
BDD	BDDDomain.buildEquals(BDDDomain that)	Builds a BDD which is true for all the possible assignments to the variable blocks that makes the blocks equal.
BDDBitVector	BDDFactory.buildVector(BDDDomain d)	Build a bit vector using variables from the given BDD domain.
protected void	BDDBitVector.initialize(BDDDomain d)
boolean	BDD.BDDIterator.isDontCare(BDDDomain d)	Returns true if the BDD variables in the given BDD domain are all dont-care's.
BDDPairing	BDDFactory.makePair(BDDDomain oldvar, BDDDomain newvar)	Make a new pairing that maps from one BDD domain to another.
BDDVarSet	BDDFactory.makeSet(BDDDomain[] v)	Returns a BDD defining all the variable sets used to define the variable blocks in the given array.
BigInteger	BDD.BDDIterator.nextValue(BDDDomain dom)
BDDDomain	BDDFactory.overlapDomain(BDDDomain d1, BDDDomain d2)	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.
void	JFactory.reverseDomain(BDDDomain d)
protected void	JFactory.reverseDomain0(BDDDomain d)
BigInteger	BDD.scanVar(BDDDomain d)	Finds one satisfying assignment of the domain d in this BDD and returns that value.
void	BDDPairing.set(BDDDomain[] p1, BDDDomain[] p2)	Like set(), but with a whole list of pairs.
void	BDDPairing.set(BDDDomain p1, BDDDomain p2)	Defines each variable in the finite domain block p1 to be paired with the corresponding variable in p2.
void	BDD.BDDIterator.skipDontCare(BDDDomain d)	Assuming d is a dont-care, skip to the end of the iteration for d.