edit

[satune.git] / src / csolver.h

diff --git a/src/csolver.h b/src/csolver.h
index cde6c64688b83ee6f670912338f6196a294c19b6..fbf22da5bb7aa3f97284a69b5bbb72946e7c3cd6 100644 (file)
--- a/src/csolver.h
+++ b/src/csolver.h
@@ -6,8 +6,11 @@
 
 struct CSolver {
        SATEncoder *satEncoder;
+       bool unsat;
+       Tuner *tuner;
+       
        /** This is a vector of constraints that must be satisfied. */
-       VectorBoolean *constraints;
+       HashSetBoolean *constraints;
 
        /** This is a vector of all boolean structs that we have allocated. */
        VectorBoolean *allBooleans;