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

just re-formatting

Browse Source
This commit is contained in:
Torsten Schaub 2016-08-26 18:21:33 +02:00
parent 69757e50ac
commit 0fb79d1268
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/sas-sequential-incremental-multivalued-axioms-condeffects.lp
View File

@ -22,7 +22,7 @@ stateVariable(Variable) :- headVariable(_,Variable).
% Apply effects % Apply effects
caused(Variable, Value, t) :- occurs(Action, t), postcondition(Action, Effect, Variable, Value), 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). modified(Variable, t) :- caused(Variable, Value, t).
holds(Variable, Value, t) :- caused(Variable, Value, t). holds(Variable, Value, t) :- caused(Variable, Value, t).