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

Minor formatting.

This commit is contained in:
Patrick Lühne 2016-08-14 16:01:39 +02:00
parent d604e44dff
commit 4d5f935e82
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
doc/output-format.md
View File

@ -172,7 +172,7 @@ mutexGroup(mutexGroup(<number>)).
contains(<mutex group>, <variable>, <value>). contains(<mutex group>, <variable>, <value>).
``` ```
SAS contains information about mutually exclusive variable assignments. SAS contains information about mutually exclusive [variable](#variable) assignments.
That is, *at most one* variable assignment of each mutex group must be satisfied at all times. 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. Mutex groups contain essential information in order to find plans correctly.