Overview  Package   Class  Use  Deprecated  Index
Home >> All >> org >> sf >> [ javabdd overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---

org.sf.javabdd
Class BDD.BDDToString  

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

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.

 

Constructor Summary
protected	BDD.BDDToString()           Protected constructor.

 

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

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

---

elementNames

public java.lang.String elementNames(int i,
                                     long lo,
                                     long 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.

---

Overview  Package   Class  Use  Deprecated  Index
Home >> All >> org >> sf >> [ javabdd overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---