207208209210211212213214215216217
{ Iterator eit = literals.iterator(); while (eit.hasNext()) { GroundEffect e = (GroundEffect) eit.next(); e.applyDels(s); } } public Set getConditionalPropositions() {