|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use BDD.BDDToString | |
---|---|
edu.wis.jtlv.env | The main package of JTLV, most creational action are usually done through static procedures in object Env. |
net.sf.javabdd |
Uses of BDD.BDDToString in edu.wis.jtlv.env |
---|
Subclasses of BDD.BDDToString in edu.wis.jtlv.env | |
---|---|
static class |
Env.JTLVBDDToString
The JTLVBDDToString is responsible for naming of the values in the BDD domain. |
Uses of BDD.BDDToString in net.sf.javabdd |
---|
Fields in net.sf.javabdd declared as BDD.BDDToString | |
---|---|
static BDD.BDDToString |
BDD.BDDToString.INSTANCE
Singleton instance that does the default behavior: domains and elements are printed as their numbers. |
Methods in net.sf.javabdd with parameters of type BDD.BDDToString | |
---|---|
java.lang.String |
BDD.toStringWithDomains(BDD.BDDToString ts)
Returns a string representation of this BDD on the defined domains, using the given BDDToString converter. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |