internal override void ToMonaString(StringBuilder sb, CharSetSolver solver) { sb.Append("("); left.ToMonaString(sb, solver); sb.Append(" <=> "); right.ToMonaString(sb, solver); sb.Append(")"); }
internal override void ToMonaString(StringBuilder sb, CharSetSolver solver) { sb.Append("~"); phi.ToMonaString(sb, solver); }
internal override void ToMonaString(StringBuilder sb, CharSetSolver solver) { sb.Append("all2 " + variable + ":"); phi.ToMonaString(sb, solver); }