From 9d04996b0aeb2b4d168ee9deb9acdfdf791ad86e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Fri, 17 Nov 2017 17:34:16 +0100 Subject: [PATCH] Minor formatting. MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit This change doesn’t affect derived variables, because these aren’t affected by the “caused” predicate (the “caused” predicate requires a variable to be in the postcondition of an action, and these may never be derived variables). --- encodings/sequential-horizon.lp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/encodings/sequential-horizon.lp b/encodings/sequential-horizon.lp index 55420a2..fe28989 100644 --- a/encodings/sequential-horizon.lp +++ b/encodings/sequential-horizon.lp @@ -45,7 +45,7 @@ caused(Variable, Value, T) :- % Inertia rules %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -modified(variable(V), T) :- caused(variable(V), Value, T). +modified(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), time(T).