Changes between Version 4 and Version 5 of Specification/RSF2DIMACS

Timestamp:

Sep 24, 2014, 12:52:55 PM (10 years ago)

Author:

elshar

Comment:

--

Specification/RSF2DIMACS

@@ -13 +13 @@
 Not(Condition) implies Not(Variable)
 }}}
- * In DIMACS
+ * In DIMACS:
 {{{
 Condition or Not(Variable)
@@ -27 +27 @@
 Not(Condition1) and Not(Condition2) implies Not(Variable)
 }}}
- * In DIMACS
+ * In DIMACS:
 {{{
 Condition1 or Condition2 or Not(Variable)
@@ -42 +42 @@
 >  Reverse dependencies can only be used with boolean or tristate
 >  symbols.
+1. Translation of Boolean !ItemSelect statements:
+ * In RSF:
+{{{
+ItemSelects BOOLEAN_VAR OTHER_VAR CONDITION
+}}}
+ * In Boolean formula:
+{{{
+(BOOLEAN_VAR and CONDITION) implies OTHER_VAR
+}}}
+ * In DIMACS:
+{{{
+Not(BOOLEAN_VAR) or Not(CONDITION) or OTHER_VAR
+}}}
+2. Translation of Tristate !ItemSelect statements:
+ * In RSF:
+{{{
+ItemSelects TRISTATE_VAR OTHER_VAR CONDITION
+}}}
+ * In Boolean formula:
+{{{
+(TRISTATE_VAR and CONDITION) implies OTHER_VAR
+(TRISTATE_VAR_MODULE and CONDITION) implies OTHER_VAR_MODULE
+}}}
+ * In DIMACS:
+{{{
+Not(TRISTATE_VAR) or Not(CONDITION) or OTHER_VAR
+Not(TRISTATE_VAR_MODULE) or Not(CONDITION) or OTHER_VAR_MODULE
+}}}