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