X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=src%2FBackend%2Fconstraint.h;fp=src%2FBackend%2Fconstraint.h;h=adcd3f1836688b57841429c0b87473f5fc4dd6cb;hb=91c9fc86e8649796d0750572954054ab95432137;hp=2dd6d8e3d8f18e39999e0580b83f464ebaef7b2f;hpb=b768fd76def8ae171291b8f508a3e46c85a6ec49;p=satune.git

diff --git a/src/Backend/constraint.h b/src/Backend/constraint.h
index 2dd6d8e..adcd3f1 100644
--- 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);