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

Clarification about variables’ value uniqueness.

Browse Source
This commit is contained in:
Patrick Lühne 2016-08-14 16:00:09 +02:00
parent 741078c4fd
commit 2c37da4cb4
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
doc/output-format.md
View File

@ -85,6 +85,8 @@ contains(<variable>, <value>).
`plasp`’s variables represent the current state of the planning problem. `plasp`’s variables represent the current state of the planning problem.
Variables are linked to the problem's [objects](#constants-objects) and [constants](#constants-objects). Variables are linked to the problem's [objects](#constants-objects) and [constants](#constants-objects).
`plasp`’s variables are multivalued, and each variable has exactly one value at each point in time.
With SAS, variable names are numbers starting at 0, `variable(<number>)`. With SAS, variable names are numbers starting at 0, `variable(<number>)`.
SAS variables are inherently multivalued, which results in two or more values of the form `value(<SAS predicate>, <bool>)` for each variable. SAS variables are inherently multivalued, which results in two or more values of the form `value(<SAS predicate>, <bool>)` for each variable.