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 and Description
protected BDDDomain[]	BDDFactory.domain FINITE DOMAINS

Methods in com.github.javabdd that return BDDDomain

Modifier and Type	Method and Description
protected BDDDomain	BDDFactory.createDomain(int a, BigInteger b) Implementors must implement this factory method to create BDDDomain objects of the correct type.
protected BDDDomain	TestBDDFactory.createDomain(int a, BigInteger b)
protected BDDDomain	TypedBDDFactory.createDomain(int a, BigInteger b)
BDDDomain	BDDFactory.extDomain(BigInteger domainSize)
BDDDomain[]	BDDFactory.extDomain(BigInteger[] domainSizes)
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[]	TypedBDDFactory.extDomain(long[] 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.
BDDDomain	TypedBDDFactory.whichDomain(int var)

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

Modifier and Type	Method and 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) 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	TypedBDDFactory.TypedBDD.setDomains(BDDDomain d) Changes this BDD's domain to be the given domain.
void	TypedBDDFactory.TypedBDD.setDomains(BDDDomain d1, BDDDomain d2) Changes this BDD's domains to be the given domains.
void	TypedBDDFactory.TypedBDD.setDomains(BDDDomain d1, BDDDomain d2, BDDDomain d3) Changes this BDD's domains to be the given domains.
void	TypedBDDFactory.TypedBDD.setDomains(BDDDomain d1, BDDDomain d2, BDDDomain d3, BDDDomain d4) Changes this BDD's domains to be the given domains.
void	TypedBDDFactory.TypedBDD.setDomains(BDDDomain d1, BDDDomain d2, BDDDomain d3, BDDDomain d4, BDDDomain d5) Changes this BDD's domains to be the given domains.
void	BDD.BDDIterator.skipDontCare(BDDDomain d) Assuming d is a dont-care, skip to the end of the iteration for d