Changes between Version 9 and Version 10 of Specification/RSF2DIMACS

Timestamp:

Sep 25, 2014, 7:54:10 AM (10 years ago)

Author:

elshar

Comment:

--

Specification/RSF2DIMACS

@@ -1 +1 @@
 = Translation of RSF-Files into DIMACS Format =
+[[PageOutline(2-5, Table of Contents, floated)]]
 
 == Translation of Tristate Variables ==
@@ -21 +22 @@
 ||0||1||VARIABLE is selected as a module ('m' was selected)||
 ||1||1||Illegal state||
+
+== Translation of String, Integer, Hex Variables ==
+=== Ranges ===
+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.
 
 == Translation of ''depends'' Constraints ==
@@ -91 +96 @@
 Not(TRISTATE_VAR_MODULE) or Not(CONDITION) or OTHER_VAR_MODULE
 }}}
-
-== Ranges ==
-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.