Changes between Version 8 and Version 9 of Specification/RSF2DIMACS
- Timestamp:
- Sep 25, 2014, 7:34:16 AM (10 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Specification/RSF2DIMACS
v8 v9 3 3 == Translation of Tristate Variables == 4 4 Tristate variables will be translated into 2 variables. This translation shall be equal to the translation of Undertaker or !KConfigReader: 5 * One variable declaring whether the related KConfig variable is permanent ely selected5 * One variable declaring whether the related KConfig variable is permanently selected 6 6 * One variable declaring whether the related KConfig variable is selected as a module. 7 7 * Only one of these variables can be selected at the same time. … … 17 17 * Meaning: 18 18 ||'''VARIABLE'''||'''VARIABLE_MODULE'''||'''Explanation'''|| 19 ||0||0||VARIABLE is permanent ely deselected ('n' was selected)||20 ||1||0||VARIABLE is permanent ely selected ('y' was selected)||19 ||0||0||VARIABLE is permanently deselected ('n' was selected)|| 20 ||1||0||VARIABLE is permanently selected ('y' was selected)|| 21 21 ||0||1||VARIABLE is selected as a module ('m' was selected)|| 22 22 ||1||1||Illegal state|| … … 54 54 55 55 == Translation of ''!ItemSelects'' Constraints == 56 The KConfig specificationdefines select statements as follows:56 The [https://www.kernel.org/doc/Documentation/kbuild/kconfig-language.txt KConfig specification] defines select statements as follows: 57 57 > reverse dependencies: "select" <symbol> !["if" <expr>] 58 58 > While normal dependencies reduce the upper limit of a symbol (see … … 93 93 94 94 == Ranges == 95 Ranges of !Integers/Hex variables will not be considered. Since Kconfig supports only == and != comparisons, only values used in constraints will be translated to DIMACS.95 Ranges of !Integers/Hex variables will not be considered. Since Kconfig supports only == and != comparisons, only values used in constraints will be translated to DIMACS.