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 final 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.