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.OutputBuffer  

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

Enclosing class:

BDD

---

static class BDD.OutputBuffer

extends java.lang.Object

---

Field Summary
(package private)  int	domain
(package private)  boolean	done
(package private)  long	lastHigh
(package private)  long	lastLow
(package private)  java.lang.StringBuffer	sb
(package private)  BDD.BDDToString	ts

 

Constructor Summary
(package private)	BDD.OutputBuffer(BDD.BDDToString ts, java.lang.StringBuffer sb, int domain)

 

Method Summary
(package private)  void	append(long low)
(package private)  void	append(long low, long high)
(package private)  java.lang.StringBuffer	finish()

 

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

 

Field Detail

ts

BDD.BDDToString ts

---

sb

java.lang.StringBuffer sb

---

domain

int domain

---

lastLow

long lastLow

---

lastHigh

long lastHigh

---

done

boolean done

Constructor Detail

BDD.OutputBuffer

BDD.OutputBuffer(BDD.BDDToString ts,
                 java.lang.StringBuffer sb,
                 int domain)

Method Detail

append

void append(long low,
            long high)

---

finish

java.lang.StringBuffer finish()

---

append

void append(long low)

---

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

---