Issue395

Title Incorrect (:functions) block parsing
Priority bug Status resolved
Superseder Nosy List gabi, gfrances, malte
Assigned To gabi Keywords
Optional summary

Created on 2013-10-23.19:22:48 by gfrances, last changed by gabi.

Files
File name Uploaded Type Edit Remove
patch.diff gfrances, 2013-10-23.19:22:48 text/x-patch
Messages
msg2700 (view) Author: gabi Date: 2013-11-19.22:38:30
Thanks Guillem for pointing out this problem and even more for providing a fix! 
I just merged it.

(I extended the fix so that the translator raises an error on tasks with 
object fluents.)
msg2679 (view) Author: gfrances Date: 2013-10-23.19:22:48
I found a tiny bug in the translate module. When parsing the :functions block of 
a 
PDDL domain, the (typed) functions are incorrectly processed.
As far as I understand, this currently poses no problem, since only the total-
cost 
function is supported, but might provoke some headache in the future if FD 
starts 
supporting the object-fluents PDDL3.1 extension. The bug can be most easily seen 
by 
placing a breakpoint at pddl/tasks.py:146 - the variable the_functions contains 
some functions which are the result of incorrectly parsing the total-cost 
function 
type specifier "- number".
I'm attaching a patch with a possible workaround.
History
Date User Action Args
2013-11-19 22:38:30gabisetstatus: unread -> resolved
assignedto: malte -> gabi
messages: + msg2700
nosy: + gabi
2013-10-23 19:40:20maltesetassignedto: malte
nosy: + malte
2013-10-23 19:22:48gfrancescreate