Uses of Class
net.sf.javabdd.BDD.BDDToString

Packages that use BDD.BDDToString

edu.wis.jtlv.env	The main package of JTLV, most creational action are usually done through static procedures in object Env.
net.sf.javabdd

Uses of BDD.BDDToString in edu.wis.jtlv.env

Subclasses of BDD.BDDToString in edu.wis.jtlv.env

static class

Env.JTLVBDDToString The JTLVBDDToString is responsible for naming of the values in the BDD domain.

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

java.lang.String

BDD.toStringWithDomains(BDD.BDDToString ts) Returns a string representation of this BDD on the defined domains, using the given BDDToString converter.