|
|||||||||
PREV NEXT | FRAMES NO FRAMES |
Uses of BDDDomain in net.sf.javabdd |
---|
Fields in net.sf.javabdd declared as BDDDomain | |
---|---|
protected BDDDomain[] |
BDDFactory.domain
FINITE DOMAINS |
Methods in net.sf.javabdd that return BDDDomain | |
---|---|
protected BDDDomain |
TypedBDDFactory.createDomain(int a,
BigInteger b)
|
protected BDDDomain |
TestBDDFactory.createDomain(int a,
BigInteger b)
|
protected BDDDomain |
CUDDFactory.createDomain(int a,
BigInteger b)
|
protected BDDDomain |
CALFactory.createDomain(int a,
BigInteger b)
|
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(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[] |
TypedBDDFactory.extDomain(long[] domainSizes)
|
BDDDomain[] |
BDDFactory.extDomain(long[] dom)
|
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 net.sf.javabdd with parameters of type BDDDomain | |
---|---|
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 |
|
|||||||||
PREV NEXT | FRAMES NO FRAMES |