public override String ToString() { if (null == toString) { StringBuilder sb = new StringBuilder(); sb.Append(getTermVariable().getName()); sb.Append(" = "); sb.Append(value); toString = sb.ToString(); } return toString; } }