Bug fix for printing ...

[satune.git] / src / csolver.h

diff --git a/src/csolver.h b/src/csolver.h
index 044f79e9a3693ea34c6c31e9eca4bad293ce0891..c916c58499992b73450e294a26531801b8cc6791 100644 (file)
--- a/src/csolver.h
+++ b/src/csolver.h
@@ -237,4 +237,20 @@ inline CompOp flipOp(CompOp op) {
        }
        ASSERT(0);
 }
+
+inline CompOp negateOp(CompOp op) {
+       switch (op) {
+       case SATC_EQUALS:
+               ASSERT(0);
+       case SATC_LT:
+               return SATC_GTE;
+       case SATC_GT:
+               return SATC_LTE;
+       case SATC_LTE:
+               return SATC_GT;
+       case SATC_GTE:
+               return SATC_LT;
+       }
+       ASSERT(0);
+}
 #endif