Bug fixes

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

diff --git a/src/Backend/constraint.h b/src/Backend/constraint.h
index 2dd6d8e3d8f18e39999e0580b83f464ebaef7b2f..adcd3f1836688b57841429c0b87473f5fc4dd6cb 100644 (file)
--- a/src/Backend/constraint.h
+++ b/src/Backend/constraint.h
@@ -176,6 +176,9 @@ void addEdgeToResizeNode(Node ** node, Edge e);
 void mergeFreeNodeToResizeNode(Node **node, Node * innode);
 void mergeNodeToResizeNode(Node **node, Node * innode);
 void freeEdgeRec(Edge e);
+void outputCNF(CNF *cnf, Edge cnfform);
+void outputCNFOR(CNF *cnf, Edge cnfform, Edge eorvar);
+void generateProxy(CNF *cnf, Edge expression, Edge proxy, Polarity p);
 
 Edge generateBinaryConstraint(CNF *cnf, uint numvars, Edge *vars, uint value);
 Edge generateLTValueConstraint(CNF *cnf, uint numvars, Edge *vars, uint value);