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