X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2Fcsolver.h;h=2730a934164a7d267bdf26d47f78576671c8c52a;hp=15d5b453c8b697505ac40e22b4efe7b65cd03996;hb=77f32c79afdf12f29c040d511cd84f15d703ceb9;hpb=85ade7953746f1f5e3df9c4e5799e216e44e1745

diff --git a/src/csolver.h b/src/csolver.h
index 15d5b45..2730a93 100644
--- a/src/csolver.h
+++ b/src/csolver.h
@@ -134,6 +134,7 @@ public:
 	void setUnSAT() { model_print("Setting UNSAT %%%%%%\n"); unsat = true; }
 	bool isUnSAT() { return unsat; }
 
+	void printConstraint(BooleanEdge boolean);
 	void printConstraints();
 
 	Vector<Order *> *getOrders() { return &allOrders;}