more edits

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

diff --git a/src/Backend/nodeedge.h b/src/Backend/nodeedge.h
index 0f2fedf9aaf2fab58346a9c5750f5decb0e25889..559c05822732b6f694ef96ec973f80c1440c259e 100644 (file)
--- a/src/Backend/nodeedge.h
+++ b/src/Backend/nodeedge.h
@@ -62,6 +62,7 @@ struct CNF {
        Node ** node_array;
        IncrementalSolver * solver;
        VectorEdge constraints;
+       VectorEdge args;
 };
 
 typedef struct CNF CNF;
@@ -190,7 +191,7 @@ CNFExpr * produceConjunction(CNF * cnf, Edge e);
 CNFExpr* produceDisjunction(CNF *cnf, Edge e);
 bool propagate(CNF *cnf, CNFExpr * dest, CNFExpr * src, bool negate);
 void saveCNF(CNF *cnf, CNFExpr* exp, Edge e, bool sign);
-CNFExpr* fillArgs(Edge e, bool isNeg, Edge * largestEdge, VectorEdge * args);
+CNFExpr* fillArgs(CNF * cnf, Edge e, bool isNeg, Edge * largestEdge);