public override String ToString()
{
String result;
result = mArg1.ToString() + "/" + mArg2.ToString();
return(result);
}
public override string ToString()
{
String result = "";
if (mLeft.Count > 0)
{
for (int i = 0; i < mLeft.Count; ++i)
{
_Term temp = (_Term)mLeft[i];
result += temp.ToString();
if (i < mLeft.Count - 1)
{
result += ", ";
}
}
result += " => ";
}
result += mRight.ToString();
return(result);
}
public override String ToString()
{
String result = Name + "(";
if (mComponents != null)
{
for (int i = 0; i < mComponents.Count; ++i)
{
_Term x = (_Term)mComponents[i];
result += x.ToString();
if (i < mComponents.Count - 1)
{
result += ", ";
}
}
}
result += ")";
return(result);
}