public override String ToString()
{
if (null == stringRep)
{
StringBuilder sb = new StringBuilder();
sb.Append(functionName);
sb.Append("(");
bool first = true;
foreach (Term t in terms)
{
if (first)
{
first = false;
}
else
{
sb.Append(",");
}
sb.Append(t.ToString());
}
sb.Append(")");
stringRep = sb.ToString();
}
return stringRep;
}
}