예제 #1
0
 public override void ToString(StringBuilder sb)
 {
     sb.Append("all2 " + variable + ".");
     sb.Append("(");
     phi.ToString(sb);
     sb.Append(")");
 }
예제 #2
0
 public override void ToString(StringBuilder sb)
 {
     sb.Append("(");
     left.ToString(sb);
     sb.Append(" <-> ");
     right.ToString(sb);
     sb.Append(")");
 }
예제 #3
0
 public override void ToString(StringBuilder sb)
 {
     sb.Append("~");
     phi.ToString(sb);
 }