Iterator constants = p.iterator();
List<Term> terms = new ArrayList<Term>();
while(constants.hasNext()){
Constant con = (Constant) constants.next();
Atom term = new Atom(con.getImage());
terms.add(term);
Set<String> setCon = this.types.get(con.getTypeSet().toString());
for(Constant c: this.pddlObject.getTypedDomain(con.getTypeSet())){
if(setCon == null){
setCon = new HashSet<String>();
setCon.add(c.toString());
this.types.put(con.getTypeSet().toString(), setCon);
} else setCon.add(c.toString());
}
}
proposition.addTerms(terms);