|
|||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||
| 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 | |
|---|---|
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 | ||||||||