118119120121122123124125126127128
boolean rEff = false; Iterator lit = literals.iterator(); while (lit.hasNext() && !(rEff)) { UngroundEffect ue = (UngroundEffect) lit.next(); rEff = ue.effects(ps); } return rEff; } public UngroundCondition minus(UngroundEffect effect)
6768697071727374757677
} public boolean effects(PredicateSymbol ps) { UngroundEffect ue = (UngroundEffect) literal; return ue.effects(ps); } public UngroundCondition effectsAdd(UngroundCondition cond) { return cond;