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