Message2881

Author jendrik
Recipients florian, gabi, haz, jendrik, malte
Date 2014-01-06.16:59:15
Content
In the issue397 branch in the IPC repo effect conditions that are also preconditions are removed. Is 
this still valid for the new semantics? Consider the following operator:

precondition: {x=2}
effect1: {} -> x=3
effect2: {x=2} -> {y=3}

If we remove the effect condition from effect2 both effects will trigger when the action is applied, 
otherwise only effect1 will trigger (assuming effect2 is evaluated after effect1).
History
Date User Action Args
2014-01-06 16:59:15jendriksetmessageid: <1389023955.56.0.390376467265.issue397@unibas.ch>
2014-01-06 16:59:15jendriksetrecipients: + jendrik, malte, haz, gabi, florian
2014-01-06 16:59:15jendriklinkissue397 messages
2014-01-06 16:59:15jendrikcreate