Uses of Class
com.github.javabdd.BDD.BDDToString

Uses of BDD.BDDToString in com.github.javabdd

Fields in com.github.javabdd declared as BDD.BDDToString

Modifier and Type	Field and Description
static BDD.BDDToString	BDD.BDDToString.INSTANCE Singleton instance that does the default behavior: domains and elements are printed as their numbers.

Methods in com.github.javabdd with parameters of type BDD.BDDToString

Modifier and Type	Method and Description
String	BDD.toStringWithDomains(BDD.BDDToString ts) Returns a string representation of this BDD on the defined domains, using the given BDDToString converter.