198199200201202203204205206207208
Set<String> setVar = this.types.get(var.getTypeSet().toString()); setVar.add(var.getImage()); } proposition.addTerms(terms); initialState.add(proposition); } logger.finest("\n--> Goal\n"); logger.finest(this.pddlObject.getGoal().toString());
263264265266267268269270271272273
this.types.put(var.getTypeSet().toString(), setVar); } else setVar.add(c.toString()); } } proposition.addTerms(terms); propositionImpls.add(proposition); break; case NOT: NotExp notExp = (NotExp) exp;
326327328329330331332333334335336
this.types.put(con.getTypeSet().toString(), setCon); } else setCon.add(c.toString()); } } proposition.addTerms(terms); propositionImpls.add(proposition); break; case NOT: NotExp notExp = (NotExp) exp;