Changes between Version 11 and Version 12 of Specification/RSF2DIMACS


Ignore:
Timestamp:
Sep 25, 2014, 8:24:46 AM (10 years ago)
Author:
elshar
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Specification/RSF2DIMACS

    v11 v12  
    11= Translation of RSF-Files into DIMACS Format = 
    2 [[PageOutline(2-5, Table of Contents, floated)]] 
     2[[PageOutline(2-5, Table of Contents, pullout)]] 
    33 
    44== Translation of Tristate Variables == 
    5 Tristate variables will be translated into 2 variables. This translation shall be equal to the translation of Undertaker or !KConfigReader: 
     5Tristate variables will be translated into 2 variables. This translation shall be equal to the translation of Undertaker or KConfigReader: 
    66* One variable declaring whether the related KConfig variable is permanently selected 
    77* One variable declaring whether the related KConfig variable is selected as a module. 
    … …  
    8484Condition1 or Condition2 or Not(Variable) 
    8585}}} 
     861. Variable depends of Tristate 
     87 * In RSF: 
     88{{{ 
     89depends VARIABLE TRISTATE_VAR 
     90}}} 
     91 * In Boolean formula: 
     92{{{ 
     93Not(TRISTATE_VAR) and Not(TRISTATE_VAR_MODULE) implies Not(VARIABLE ) 
     94}}} 
     95 * In DIMACS: 
     96{{{ 
     97TRISTATE_VAR or TRISTATE_VAR_MODULE or Not(VARIABLE ) 
     98}}} 
     991. Tristate variable depends of Condition 
     100 * In RSF: 
     101{{{ 
     102depends TRISTATE_VAR CONDITION 
     103}}} 
     104 * In Boolean formula: 
     105{{{ 
     106Not(CONDITION) implies Not(TRISTATE_VAR) 
     107Not(CONDITION) implies Not(TRISTATE_VAR_MODULE) 
     108}}} 
     109 * In DIMACS: 
     110{{{ 
     111CONDITION or Not(TRISTATE_VAR) 
     112CONDITION or Not(TRISTATE_VAR_MODULE_VAR) 
     113}}} 
    86114 
    87115== Translation of ''!ItemSelects'' Constraints ==