public void prettyPrint() {
if (myLineNumber != null) {
System.out.print(myLineNumber.getName() + ": ");
}
System.out.print("Goal ");
exp.prettyPrint();
}
public void prettyPrint() {
if (operator == FORALL) System.out.print("For all ");
else if (operator == EXISTS) System.out.print("There exists ");
else if (operator == UNIQUE) System.out.print("There exists unique ");
Iterator<MathVarDec> it = vars.iterator();
if (it.hasNext()) {
it.next().prettyPrint();
}
while (it.hasNext()) {
System.out.print(", ");
it.next().prettyPrint();
}
if (where != null) {
System.out.print(", ");
where.prettyPrint();
}
System.out.print(", ");
body.prettyPrint();
}
