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

Documented goal.

Browse Source
This commit is contained in:
Patrick Lühne 2016-08-14 15:47:49 +02:00
parent 2363f42bc9
commit 3dfae74468
1 changed files with 9 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
doc/output-format.md
View File

@ -145,3 +145,12 @@ initialState(<variable>, <value>).
The initial state contains all variable assignments that hold before executing any actions. The initial state contains all variable assignments that hold before executing any actions.
Note that with PDDL, the initial state might not assign values to all variables. Instead, unassigned values have to be assigned `false` manually. Note that with PDDL, the initial state might not assign values to all variables. Instead, unassigned values have to be assigned `false` manually.
### Goal
```prolog
% specifies that <variable> shall obtain <value> in the end
goal(<variable>, <value>).
```
The goal specifies all variable assignments that have to be fulfilled after executing the plan.