protected override string VisitBinary(Binary B)
{
int pr = Parser.Precedence(B.Operator);
return(Visit(B.Left, pr)
+ Binary.ToString(B.Operator)
+ Visit(B.Right, pr));
}
private static string ToString(Operator Op)
{
switch (Op)
{
case Operator.Equal: return("=");
case Operator.NotEqual: return(@"\neq ");
case Operator.GreaterEqual: return(@"\geq ");
case Operator.LessEqual: return(@"\leq ");
case Operator.ApproxEqual: return(@"\approx ");
case Operator.Arrow: return(@"\to ");
default: return(Binary.ToString(Op));
}
}
protected override PrettyString VisitBinary(Binary B)
{
return(PrettyString.ConcatColumns(Visit(B.Left), Binary.ToString(B.Operator), Visit(B.Right)));
}
