public override void ToString(StringBuilder sb) { sb.Append("all2 " + variable + "."); sb.Append("("); phi.ToString(sb); sb.Append(")"); }
public override void ToString(StringBuilder sb) { sb.Append("("); left.ToString(sb); sb.Append(" <-> "); right.ToString(sb); sb.Append(")"); }
public override void ToString(StringBuilder sb) { sb.Append("~"); phi.ToString(sb); }