Issue612

Title Arguments of primitive numeric expression have unexpected type
Priority bug Status resolved
Superseder Nosy List gabi, malte
Assigned To gabi Keywords translator
Optional summary

Created on 2015-12-10.11:55:47 by gabi, last changed by gabi.

Messages
msg4940 (view) Author: gabi Date: 2015-12-10.12:26:03
I just removed this part of the code because it anyway just printed duplicate
information. I think this was a leftover from TFD's code for possibly nested
functions that is not necessary for the simpler numeric fragment supported by
Fast Downward.
msg4939 (view) Author: malte Date: 2015-12-10.12:13:43
I don't know what the intention of this was (the translator change to support
action costs was done by either Silvia or the Temporal Fast Downward team, I
think), but I'm in favour of the minimal fix: just change dump.
msg4936 (view) Author: gabi Date: 2015-12-10.11:55:47
The dump method of PrimitiveNumericExpression expects the arguments to be some
kind of term objects but they are strings.

(try ./normalize.py
../../benchmarks/elevators-opt08-strips/{p01-domain,p01}.pddl to trigger the error)

I did not directly fix this in the dump method because I am not sure whether the
arguments shouldn't indeed better be 'real' objects.
History
Date User Action Args
2015-12-10 12:26:03gabisetstatus: chatting -> resolved
assignedto: gabi
messages: + msg4940
2015-12-10 12:13:43maltesetstatus: unread -> chatting
nosy: + malte
messages: + msg4939
2015-12-10 11:55:47gabicreate