Iterator pit = plan.iterator();
TotalOrderPlan p = new TotalOrderPlan();
while (pit.hasNext())
{
PGAction a = (PGAction) pit.next();
if (!(a instanceof PGNoOp)) p.addAction(a.action);
}
//p.print(javaff.JavaFF.infoOutput);
return p;
}
else return null;