Issue73

Title translator throws away necessary variables
Priority bug Status resolved
Superseder Nosy List gabi, malte, silvia
Assigned To gabi Keywords 1.0
Optional summary

Created on 2010-02-15.04:32:31 by silvia, last changed by gabi.

Files
File name Uploaded Type Edit Remove
p01.zip silvia, 2010-02-15.04:32:31 application/zip
Messages
msg437 (view) Author: gabi Date: 2010-08-09.11:28:57
This was a different bug than the one in issue 70:

When translating a delete effect of an operator that does not have an add effect
on that variable but a precondition on a different value, we do not want to
represent the delete effect. At this point there was a bug in the code that did
not properly remove the delete effect from the effect list, but only set the
effect precondition list to an empty list. This lead to a side effect that
removed the precondition on the variable.
msg237 (view) Author: silvia Date: 2010-02-15.04:32:31
Planner generates invalid solutions as operator preconditions are incorrectly
removed. One example in the attached input is the prevail condition "a1" in the
operator "copy_0_unsat_e0". 

This does not happen when disabling invariant generation by changing

    groups = invariant_finder.get_groups(task)
to
    groups = []

and could possibly be the same problem underlying issue 70. Attached problem
instance reported by Patrik.
History
Date User Action Args
2010-08-09 11:28:57gabisetstatus: chatting -> resolved
messages: + msg437
2010-03-22 14:34:19maltesetkeyword: + 1.0
2010-03-22 12:04:57maltesetassignedto: gabi
nosy: + gabi
2010-02-15 04:32:31silviacreate