public override String ToString()
{
var builder = new StringBuilder();
if (quantifier == Quantifier.Exists)
{
builder.Append("exists ");
}
else if (quantifier == Quantifier.Forall)
{
builder.Append("forall ");
}
else
{
throw new ArgumentException();
}
foreach (var v in quantified_variables)
{
builder.Append(v);
builder.Append(" ");
}
builder.Append(". ");
builder.Append(inner.ToString());
return(builder.ToString());
}
public override string ToString()
{
return("(" + remaining1.ToString() + ", " + remaining2.ToString() + ") when " + constraint.ToString());
}
