public override string ToString()
{
IPrettyPrinter <PRED> pp = solver as IPrettyPrinter <PRED>;
if (pp == null)
{
return(this.GetType().ToString());
}
if (left == null && right == null)
{
return("Leaf(" + pp.PrettyPrint(phi) + ")");
}
else if (left == null)
{
return("Node(null," + right.ToString() + ")");
}
else if (right == null)
{
return("Node(" + left.ToString() + ",null)");
}
else
{
return("Node(" + left.ToString() + "," + right.ToString() + ")");
}
}
