Use smarter splitting heuristic

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

diff --git a/src/Backend/constraint.h b/src/Backend/constraint.h
index adcd3f1836688b57841429c0b87473f5fc4dd6cb..bfe3e256b766729827d651fbd6058ede0c56f381 100644 (file)
--- a/src/Backend/constraint.h
+++ b/src/Backend/constraint.h
@@ -32,6 +32,7 @@ typedef enum NodeType NodeType;
 
 struct Node {
        uint numEdges;
+       uint numVars;
        union {
                NodeType type;
                uint capacity;