com.github.javabdd

Class BDD.BDDToString

java.lang.Object

com.github.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

Fields

Modifier and Type	Field and Description
static BDD.BDDToString	INSTANCE Singleton instance that does the default behavior: domains and elements are printed as their numbers.

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	BDDToString() Protected constructor.

Method Summary

Modifier and Type	Method and Description
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

BDDToString

protected 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