net.sf.javabdd
Class BDD.BDDToString

java.lang.Object
  extended by net.sf.javabdd.BDD.BDDToString
Direct Known Subclasses:
Env.JTLVBDDToString
Enclosing class:
BDD

public static class BDD.BDDToString
extends java.lang.Object

BDDToString is used to specify the printing behavior of BDDs with domains. Subclass this type and pass it as an argument to toStringWithDomains to have the toStringWithDomains function use your domain names and element names, instead of just numbers.


Field Summary
static BDD.BDDToString INSTANCE
          Singleton instance that does the default behavior: domains and elements are printed as their numbers.
 
Method Summary
 java.lang.String elementName(int i, java.math.BigInteger j)
          Given a domain index and an element index, return the element's name.
 java.lang.String elementNames(int i, java.math.BigInteger lo, java.math.BigInteger hi)
          Given a domain index and an inclusive range of element indices, return the names of the elements in that range.
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

INSTANCE

public static final BDD.BDDToString INSTANCE

Singleton instance that does the default behavior: domains and elements are printed as their numbers.

Method Detail

elementName

public java.lang.String elementName(int i,
                                    java.math.BigInteger j)

Given a domain index and an element index, return the element's name. Called by the toStringWithDomains() function.

Parameters:
i - the domain number
j - the element number
Returns:
the string representation of that element

elementNames

public java.lang.String elementNames(int i,
                                     java.math.BigInteger lo,
                                     java.math.BigInteger hi)

Given a domain index and an inclusive range of element indices, return the names of the elements in that range. Called by the toStringWithDomains() function.

Parameters:
i - the domain number
lo - the low range of element numbers, inclusive
hi - the high range of element numbers, inclusive
Returns:
the string representation of the elements in the range