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	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	Description
String	BDD.toStringWithDomains(BDD.BDDToString ts)	Returns a string representation of this BDD on the defined domains, using the given BDDToString converter.