130131132133134135136137138139140
AND a = new AND(); Iterator lit = literals.iterator(); while (lit.hasNext()) { UngroundCondition p = (UngroundCondition) lit.next(); a.add(p.minus(effect)); } return a; } public UngroundCondition effectsAdd(UngroundCondition cond)