Adding an API for translating the value of an BooleanOrder

[satune.git] / src / Backend / constraint.h

diff --git a/src/Backend/constraint.h b/src/Backend/constraint.h
index 2693455a0ba0f85da0c731709482c5b2de67d152..8d3d675940d3bca6ebc86653216a5859dd059a72 100644 (file)
--- a/src/Backend/constraint.h
+++ b/src/Backend/constraint.h
@@ -79,6 +79,8 @@ static inline void setExpanded(Node *n, int isNegated) {
 }
 
 static inline Edge constraintNegate(Edge e) {
+       if(edgeIsNull(e))
+               return e;
        Edge enew = { (Node *) (((uintptr_t) e.node_ptr) ^ NEGATE_EDGE)};
        return enew;
 }