public override void ToString(StringBuilder sb)
{
sb.Append("(");
set1.ToString(sb);
switch (op)
{
case MonaBinarySetOperator.Intersection:
sb.Append(" inters "); break;
case MonaBinarySetOperator.Union:
sb.Append(" U "); break;
default: throw new MonaException("undefined operator");
}
set2.ToString(sb);
sb.Append(")");
}
public override void ToString(StringBuilder sb)
{
set1.ToString(sb); sb.Append(" = "); set2.ToString(sb);
}
public override void ToString(StringBuilder sb)
{
pos.ToString(sb);
sb.Append(" in ");
set.ToString(sb);
}