From fcdb0b65c2897a1a4b6e918856244f3d028cc533 Mon Sep 17 00:00:00 2001
From: Torsten Schaub <torsten@cs.uni-potsdam.de>
Date: Sun, 28 Aug 2016 20:53:25 +0200
Subject: [PATCH] fixed bug: frame axiom only on true fluents renamed modified
 by changed (more frequent naming)

---
 ...s-sequential-incremental-multivalued-axioms-condeffects.lp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/encodings/sas-sequential-incremental-multivalued-axioms-condeffects.lp b/encodings/sas-sequential-incremental-multivalued-axioms-condeffects.lp
index b718110..4870248 100644
--- a/encodings/sas-sequential-incremental-multivalued-axioms-condeffects.lp
+++ b/encodings/sas-sequential-incremental-multivalued-axioms-condeffects.lp
@@ -23,10 +23,10 @@ stateVariable(Variable)     :- headVariable(_,Variable).
 % Apply effects
 caused(Variable, Value, t) :- occurs(Action, t), postcondition(Action, Effect, Variable, Value),
 		 	      holds(Variable', Value', t - 1) : precondition(Effect, Variable', Value').
-modified(Variable, t) :- caused(Variable, Value, t).
+changed(Variable, t) :- caused(Variable, Value, t).
 
 holds(Variable, Value, t) :- caused(Variable, Value, t).
-holds(Variable, Value, t) :- holds(Variable, Value, t - 1), not modified(Variable, t).
+holds(Variable, Value, t) :- holds(Variable, Value, t - 1), not changed(Variable, t), not stateVariable(Variable).
 
 #program check(t). % t=0,1,...