Changes between Version 22 and Version 23 of Specification/RSF2DIMACS

Timestamp:

Mar 10, 2015, 12:09:57 PM (10 years ago)

Author:

krafczy

Comment:

--

Specification/RSF2DIMACS

@@ -39 +39 @@
 ||1||1||Illegal state||
 
-== Translation of ''depends'' Constraints ==
+== Translation of ''Depends'' Constraints ==
 A depends statement specifies the maximum possible selection for a variable. The constraint is evaluated in "integer logic", with "or" being "max", "and" being "min" and "not" being "2-".
 
@@ -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 ==
-TODO: review
-The [https://www.kernel.org/doc/Documentation/kbuild/kconfig-language.txt KConfig specification] defines select statements as follows:
-> reverse dependencies: "select" <symbol> !["if" <expr>]
->  While normal dependencies reduce the upper limit of a symbol (see
->  below), reverse dependencies can be used to force a lower limit of
->  another symbol. The value of the current menu symbol is used as the
->  minimal value <symbol> can be set to. If <symbol> is selected multiple
->  times, the limit is set to the largest selection.
->  Reverse dependencies can only be used with boolean or tristate
->  symbols.
-1. Translation of Boolean !ItemSelect statements:
+== 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-".
+
  * In RSF:
 {{{
-ItemSelects BOOLEAN_VAR OTHER_VAR CONDITION
-}}}
- * In Boolean formula:
-{{{
-(BOOLEAN_VAR and CONDITION) implies OTHER_VAR
-}}}
- * In DIMACS:
-{{{
-Not(BOOLEAN_VAR) or Not(CONDITION) or OTHER_VAR
-}}}
-2. Translation of Tristate !ItemSelect statements:
- * In RSF:
-{{{
-ItemSelects TRISTATE_VAR OTHER_VAR CONDITION
-}}}
- * In Boolean formula:
-{{{
-(TRISTATE_VAR and CONDITION) implies OTHER_VAR
-(TRISTATE_VAR_MODULE and CONDITION) implies OTHER_VAR_MODULE
-}}}
- * In DIMACS:
-{{{
-Not(TRISTATE_VAR) or Not(CONDITION) or OTHER_VAR
-Not(TRISTATE_VAR_MODULE) or Not(CONDITION) or OTHER_VAR_MODULE
-}}}
+ItemSelects Variable OtherVariable Condition
+}}}
+
+=== Variable is Boolean ===
+ * In Boolean formula:
+{{{
+(Variable  and Condition) implies OtherVariable
+}}}
+ * In DIMACS:
+{{{
+Not(Variable) or Not(Condition) or OtherVariable
+}}}
+
+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 ===
+ * In Boolean formula:
+{{{
+(Variable  and Condition) implies OtherVariable
+(Variable_MODULE  and Condition) implies (OtherVariable or OtherVariable_MODULE)
+}}}
+ * In DIMACS:
+{{{
+Not(Variable) or Not(Condition) or OtherVariable
+Not(Variable_MODULE) or Not(Condition) or (OtherVariable or OtherVariable_MODULE)
+}}}
+
+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 ==