result = result + ", [known=" + knownValueMap.toString() + "]";
StringBuffer buf = new StringBuffer(); buf.append("{"); boolean first = true; for (Map.Entry<ValueNumber, IsNullValue> entry : knownValueMap.entrySet()) { if (!first) { buf.append(", "); } else { first = false; } buf.append(trim(entry.getKey().toString())); buf.append("->"); buf.append(trim(entry.getValue().toString())); } buf.append("}"); result += ", [known=" + buf.toString() + "]";
	public String toString() {		String result = super.toString();		if (decision != null) {			result = result + ", [decision=" + decision.toString() + "]";		}		if (knownValueMap != null) {			result = result + ", [known=" + knownValueMap.toString() + "]";		}		return result;	}