StringBuffer buf = new StringBuffer(); buf.append("{"); boolean first = true; for (Iterator<State> i = stateIterator(); i.hasNext();) { State state = i.next(); if (first) first = false; else buf.append(","); buf.append(state.toString());
if (isTop) return "TOP"; else if (isBottom) return "BOTTOM"; else { StringBuffer buf = new StringBuffer(); boolean first = true; for (Iterator<State> i = stateIterator(); i.hasNext();) { State state = i.next(); if (first) first = false; else buf.append(","); buf.append(state.toString()); } return buf.toString();
	public String toString() {		StringBuffer buf = new StringBuffer();		buf.append("{");		boolean first = true;		for (Iterator<State> i = stateIterator(); i.hasNext();) {			State state = i.next();			if (first)				first = false;			else				buf.append(",");			buf.append(state.toString());		}		buf.append("}");		return buf.toString();	}