net.sf.javabdd
Class BDD.BDDToString

java.lang.Object
  net.sf.javabdd.BDD.BDDToString

Enclosing class:

BDD

public static class BDD.BDDToString
extends 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.

Constructor Summary

protected

BDD.BDDToString() Protected constructor.

Method Summary

String	elementName(int i, BigInteger j) Given a domain index and an element index, return the element's name.
String	elementNames(int i, BigInteger lo, 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

clone, equals, finalize, 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.

Constructor Detail

BDD.BDDToString

protected BDD.BDDToString()

Protected constructor.

Method Detail

elementName

public String elementName(int i,
                          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 String elementNames(int i,
                           BigInteger lo,
                           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