Uses of Class com.github.javabdd.BDDDomain (com.github.javabdd 3.0.0 API)

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