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

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



Copyright © 2003-2007 John Whaley. All Rights Reserved.