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

Documented mutex groups.

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

16
doc/output-format.md
View File

@ -161,3 +161,19 @@ goal(<variable>, <value>).
``` ```
The goal specifies all variable assignments that have to be fulfilled after executing the plan. The goal specifies all variable assignments that have to be fulfilled after executing the plan.
### Mutex Groups
```prolog
% declares a <mutex group>
mutexGroup(mutexGroup(<number>)).
% adds the assignment of <variable> to <value> to a <mutex group>
contains(<mutex group>, <variable>, <value>).
```
SAS contains information about mutually exclusive variable assignments.
That is, *at most one* variable assignment of each mutex group must be satisfied at all times.
Mutex groups contain essential information in order to find plans correctly.
That is, if mutex groups are present in `plasp`’s output, they have to be accounted for appropriately.