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