From 0fb79d1268f620a1a11d7de781f39fe61dce7a6b Mon Sep 17 00:00:00 2001 From: Torsten Schaub Date: Fri, 26 Aug 2016 18:21:33 +0200 Subject: [PATCH] just re-formatting --- ...sas-sequential-incremental-multivalued-axioms-condeffects.lp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/encodings/sas-sequential-incremental-multivalued-axioms-condeffects.lp b/encodings/sas-sequential-incremental-multivalued-axioms-condeffects.lp index 23a5ba3..b718110 100644 --- a/encodings/sas-sequential-incremental-multivalued-axioms-condeffects.lp +++ b/encodings/sas-sequential-incremental-multivalued-axioms-condeffects.lp @@ -22,7 +22,7 @@ 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'). + holds(Variable', Value', t - 1) : precondition(Effect, Variable', Value'). modified(Variable, t) :- caused(Variable, Value, t). holds(Variable, Value, t) :- caused(Variable, Value, t).