public override void ToString(StringBuilder sb) { switch (op) { case MonaPosComparisonOperator.Eq: pos1.ToString(sb); sb.Append(" = "); pos2.ToString(sb); break; case MonaPosComparisonOperator.Ge: pos1.ToString(sb); sb.Append(" > "); pos2.ToString(sb); break; case MonaPosComparisonOperator.Geq: pos1.ToString(sb); sb.Append(" >= "); pos2.ToString(sb); break; case MonaPosComparisonOperator.Le: pos1.ToString(sb); sb.Append(" < "); pos2.ToString(sb); break; case MonaPosComparisonOperator.Leq: pos1.ToString(sb); sb.Append(" <= "); pos2.ToString(sb); break; default: throw new MonaException("Undefined operator"); } }
public override void ToString(StringBuilder sb) { switch (op) { case MonaPosUnaryConstructor.Pred: sb.Append("P("); break; case MonaPosUnaryConstructor.Succ: sb.Append("S("); break; default: throw new MonaException("undefined operator"); } pos.ToString(sb); sb.Append(")"); }
public override void ToString(StringBuilder sb) { pos.ToString(sb); sb.Append(" in "); set.ToString(sb); }