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