|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use BDDDomain | |
---|---|
edu.wis.jtlv.env | The main package of JTLV, most creational action are usually done through static procedures in object Env. |
edu.wis.jtlv.env.module | All User interface to FDS and SMV modules. |
net.sf.javabdd |
Uses of BDDDomain in edu.wis.jtlv.env |
---|
Methods in edu.wis.jtlv.env with parameters of type BDDDomain | |
---|---|
boolean |
Env.JTLVBDDToString.domain_has_module_value(SMVModule m,
BDDDomain dom,
java.lang.String value)
|
java.lang.String |
Env.JTLVBDDToString.elementName(BDDDomain dom,
java.math.BigInteger j)
|
java.lang.String |
Env.JTLVBDDToString.elementNames(BDDDomain dom,
java.math.BigInteger lo,
java.math.BigInteger hi)
|
java.math.BigInteger |
Env.JTLVBDDToString.get_module_value_loc(SMVModule m,
BDDDomain dom,
java.lang.String value)
|
void |
Env.JTLVBDDToString.register_domain_module_values(SMVModule m,
BDDDomain dom,
int range_start,
int range_size)
|
void |
Env.JTLVBDDToString.register_domain_module_values(SMVModule m,
BDDDomain dom,
java.lang.String[] values)
|
Uses of BDDDomain in edu.wis.jtlv.env.module |
---|
Methods in edu.wis.jtlv.env.module that return BDDDomain | |
---|---|
BDDDomain |
ModuleBDDField.getDomain()
Getter for the domain of this field. |
BDDDomain |
ModuleBDDField.getOtherDomain()
Getter for the domain of the other corresponding field. |
Constructors in edu.wis.jtlv.env.module with parameters of type BDDDomain | |
---|---|
ModuleBDDField(BDDDomain unprime,
BDDDomain prime,
java.lang.String a_path,
java.lang.String name)
The main public constructor for JTLVBDDField. |
Uses of BDDDomain in net.sf.javabdd |
---|
Methods in net.sf.javabdd that return BDDDomain | |
---|---|
BDDDomain |
BDDFactory.extDomain(java.math.BigInteger domainSize)
|
BDDDomain[] |
BDDFactory.extDomain(java.math.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. |
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. |
java.math.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)
|
java.math.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 |