Luigi Bonassi issues

Repositories
Issues
Comments

Results 3 issues of


                                            Luigi Bonassi

Fix in parser

Fixed a bug in parser; this allows the pddl (:types} to be a typed list (see the robot-coffee example) I have also changed one method of automata.py to create trans...

Fixed PDDL true predicate for adl compilation

Fixed a small bug concerning the PDDL representation of the "true" predicate in the ADL compilation.

Generation of superfluous Y-atoms

The function "predicates" of predicates visitor creates superfluous quoted "Y()" atoms. for example, the compilation of formula "O(a & Y(O(b & Y(O(c)))))" should yield the atoms: - 'Y-Oa-and-YOb-and-YOc' - 'Y-Ob-and-YOc'...