Changes between Version 14 and Version 15 of Specification/RSF2DIMACS


Ignore:
Timestamp:
Sep 25, 2014, 12:18:22 PM (10 years ago)
Author:
elshar
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Specification/RSF2DIMACS

    v14 v15  
    107107Not(ItemN-1) or Not(ItemN) 
    108108}}} 
     109Further, a Choice can be empty if none of the depends constraints of the individual !ChoiceItems is fulfilled. In KConfig this situation is ok. A new "depends" condition must be created to avoid the creation an unsatisfiable model: 
     110{{{ 
     111depends CHOICE (dependsOf(CHOICE) && (dependsOf(Item1) || dependsOf(Item2) ... dependsOf(ItemN)) 
     112}}} 
     113dependsOf(CHOICE) can be omitted, if CHOICE has no depends. 
    109114 
    110115=== Translation of Tristate Choices ===