From 4d5f935e8220a7fb49d443580d3120a68580e339 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Sun, 14 Aug 2016 16:01:39 +0200 Subject: [PATCH] Minor formatting. --- doc/output-format.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/output-format.md b/doc/output-format.md index e81d46f..eaf824b 100644 --- a/doc/output-format.md +++ b/doc/output-format.md @@ -172,7 +172,7 @@ mutexGroup(mutexGroup()). contains(, , ). ``` -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. Mutex groups contain essential information in order to find plans correctly.