Changes between Version 16 and Version 17 of Specification/RSF2DIMACS


Ignore:
Timestamp:
Sep 25, 2014, 3:10:03 PM (10 years ago)
Author:
elshar
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Specification/RSF2DIMACS

    v16 v17  
    254254Not(TRISTATE_VAR_MODULE) or Not(CONDITION) or OTHER_VAR_MODULE 
    255255}}} 
     256 
     257== Defaults and prompts == 
     258Each variable can have multiple default values. The user may overwrite this value, if the variable is visible. Thus, default values must be used as constraints for variables which are not visible. 
     259* Translation of defaults with prompts 
     260No constraint must be crated, if a variable has a default value and a (permanent visible) prompt. 
     261* Translation of defaults with no prompts 
     262For variables with a default but no prompt, a constraint must be created. 
     263 * In RSF: 
     264{{{ 
     265Default VARIABLE VALUE CONDITION1 
     266Prompt VARIABLE CONDITION2 
     267}}} 
     268 * In Boolean formula: 
     269{{{ 
     270(Not(CONDITION2) and CONDITION1) implies VARIABLE=VALUE 
     271}}} 
     272 * In DIMACS: 
     273{{{ 
     274CONDITION2 or Not(CONDITION1) or VARIABLE=VALUE 
     275}}}