Changes between Version 5 and Version 6 of Specification/RSF2DIMACS


Ignore:
Timestamp:
Sep 24, 2014, 1:30:37 PM (10 years ago)
Author:
elshar
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Specification/RSF2DIMACS

    v5 v6  
    11= Translation of RSF-Files into DIMACS Format = 
     2 
     3== Translation of Tristate Variables == 
     4Tristate 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 permanentely selected 
     6* One variable declaring whether the related KConfig variable is selected as a module. 
     7* Only one of these variables can be selected at the same time. 
     8The translation will be done as follows: 
     9* In RSF: 
     10{{{ 
     11Item VARIABLE tristate 
     12}}} 
     13* In DIMACS: 
     14{{{ 
     15Not(VARIABLE) or Not(VARIABLE_MODULE) 
     16}}} 
     17* Meaning: 
     18||'''VARIABLE'''||'''VARIABLE_MODULE'''||'''Explanation'''|| 
     19||0||0||VARIABLE is permanentely deselected ('n' was selected)|| 
     20||1||0||VARIABLE is permanentely selected ('y' was selected)|| 
     21||0||1||VARIABLE is selected as a module ('m' was selected)|| 
     22||1||1||Illegal state|| 
    223 
    324== Translation of ''depends'' Constraints ==