110111112113114115116117118119120
it = p.actions.iterator(); while (it.hasNext()) { pstream.println(); Operator o = (Operator) it.next(); o.PDDLPrint(pstream, 1); } pstream.println(")"); }