Changes between Version 2 and Version 3 of Specification/RSF2DIMACS


Ignore:
Timestamp:
Sep 23, 2014, 4:42:39 PM (11 years ago)
Author:
elshar
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Specification/RSF2DIMACS

    v2 v3  
    11= Translation of RSF-Files into DIMACS Format = 
     2 
     3== Translation of ''depends'' Constraints == 
     4Each variable can have multiple depends statements, specifying when the variable can be configured. The variable must remain unconfigured (in case of a Boolean or Tristate variable, it must be set to ''n''), if none of the depends statements is fulfilled. 
     5Conditions will be translated as follows: 
     61. One Condition: 
     7 * In RSF: 
     8{{{ 
     9depends Variable Condition 
     10}}} 
     11 * In Boolean formula: 
     12{{{ 
     13Not(Condition) implies Not(Variable) 
     14}}} 
     15 * In DIMACS 
     16{{{ 
     17Condition or Not(Variable) 
     18}}} 
     191. Multiple Conditions 
     20 * In RSF: 
     21{{{ 
     22depends Variable Condition1 
     23depends Variable Condition2 
     24}}} 
     25 * In Boolean formula: 
     26{{{ 
     27Not(Condition1) and Not(Condition2) implies Not(Variable) 
     28}}} 
     29 * In DIMACS 
     30{{{ 
     31Condition1 or Condition2 or Not(Variable) 
     32}}}