Changes between Version 24 and Version 25 of Specification/RSF2DIMACS

Timestamp:

Mar 10, 2015, 12:16:49 PM (10 years ago)

Author:

krafczy

Comment:

--

Specification/RSF2DIMACS

@@ -80 +80 @@
 If Condition contains variables that are neither boolean nor tristate (i.e. integer, hex, string or unknown) they are treated as false (i.e. 'n').
 
-== Translation of ''ItemSelects'' Constraints ==
+== Translation of ''!ItemSelects'' Constraints ==
 The ItemSelects statement specifies the minimum possible selection for a variable, if the specified condition is true. The constraint is evaluated in "integer logic", with "or" being "max", "and" being "min" and "not" being "2-".
 
@@ -98 +98 @@
 }}}
 
-If the Condition is true and Variable is true (i.e. 'y'), then OtherVariable must be true (i.e. 'y'). If OtherVariable is a tristate, 'y' means "permanently selected".
+If the Condition is true and Variable is true (i.e. 'y'), then !OtherVariable must be true (i.e. 'y'). If !OtherVariable is a tristate, 'y' means "permanently selected".
 
 === Variable is Tristate ===
@@ -112 +112 @@
 }}}
 
-If the Condition is true and Variable is true (i.e. 'y'), then OtherVariable must be true (i.e. 'y').
-
-If the Condition is true and Variable is selected as module (i.e. 'm'), then OtherVariable must be selected as module ('m') or permanently selected ('y'). Thus, if OtherVariable boolean, it can only be permanently selected; the " or OtherVariable_MODULE" part is omitted in this case.
+If the Condition is true and Variable is true (i.e. 'y'), then !OtherVariable must be true (i.e. 'y').
+
+If the Condition is true and Variable is selected as module (i.e. 'm'), then !OtherVariable must be selected as module ('m') or permanently selected ('y'). Thus, if !OtherVariable boolean, it can only be permanently selected; the " or OtherVariable_MODULE" part is omitted in this case.
 
 == Translation of Choices ==