Changes between Version 3 and Version 4 of Specification/RSF2DIMACS


Ignore:
Timestamp:
Sep 23, 2014, 5:13:43 PM (10 years ago)
Author:
elshar
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Specification/RSF2DIMACS

    v3 v4  
    3131Condition1 or Condition2 or Not(Variable) 
    3232}}} 
     33 
     34== Translation of ''!ItemSelects'' Constraints == 
     35The KConfig specification defines select statements as follows: 
     36> reverse dependencies: "select" <symbol> !["if" <expr>] 
     37>  While normal dependencies reduce the upper limit of a symbol (see 
     38>  below), reverse dependencies can be used to force a lower limit of 
     39>  another symbol. The value of the current menu symbol is used as the 
     40>  minimal value <symbol> can be set to. If <symbol> is selected multiple 
     41>  times, the limit is set to the largest selection. 
     42>  Reverse dependencies can only be used with boolean or tristate 
     43>  symbols.