/// <summary>
/// Pretty printing of terms with function symbols that do not indidate underlying .Net type
/// </summary>
/// <returns>A string in the form f(t1, t2, ...)</returns>
public override string ToCompactString()
{
StringBuilder sb = new StringBuilder();
sb.Append(functionSymbol.Name);
sb.Append("(");
bool isFirst = true;
foreach (IComparable obj in this.arguments)
{
if (!isFirst)
{
sb.Append(", ");
}
Term objT = obj as Term;
sb.Append(obj == null ? "null" : (objT != null ? objT.ToCompactString() : obj.ToString()));
isFirst = false;
}
sb.Append(")");
return(sb.ToString());
}
