/** * * @param content */ public void setContent(Update content) { this.content = content; this.free = this.content.getFreeVar(); }
postvars.addAll(positivePostcondition.getPostCondition().getFreeVar()); postvars.addAll(negativePostcondition.getPostCondition().getFreeVar());