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))); }