patrick
/
plasp
Archived
1
0
Fork 0
Code Issues 12 Releases 8 Activity

Minor formatting. 

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).
This commit is contained in:
Patrick Lühne 2017-11-17 17:34:16 +01:00
parent b2280c155a
commit 9d04996b0a
No known key found for this signature in database
GPG Key ID: 05F3611E97A70ABF
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
encodings/sequential-horizon.lp
View File

@ -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).