Author gabi
Recipients florian, gabi, haz, jendrik, malte
Date 2013-12-10.14:49:24
I do not think we can cheaply regain this information in the search component.
In the translator we know that two effects on a variable that stem from PDDL add
effects will never trigger together (otherwise the invariant synthesis would be
incorrect). However, for finding this out we would need to use all mutex
information again.
Date User Action Args
2013-12-10 14:49:24gabisetmessageid: <>
2013-12-10 14:49:24gabisetrecipients: + gabi, malte, haz, jendrik, florian
2013-12-10 14:49:24gabilinkissue397 messages
2013-12-10 14:49:24gabicreate