edits

[satune.git] / src / csolver.h

diff --git a/src/csolver.h b/src/csolver.h
index 1f779935eb4f1ad24250ce4b911bd7fceabe3afd..7939ee516f7fae5ea24c73311929e7c635b7e8bd 100644 (file)
--- a/src/csolver.h
+++ b/src/csolver.h
@@ -108,7 +108,7 @@ public:
        Vector<Order *> *getOrders() { return &allOrders;}
 
        Tuner *getTuner() { return tuner; }
-
+       
        HSIteratorBoolean *getConstraints() { return constraints.iterator(); }
 
        SATEncoder *getSATEncoder() {return satEncoder;}
@@ -117,7 +117,13 @@ public:
        void replaceBooleanWithFalse(Boolean *bexpr);
        void replaceBooleanWithBoolean(Boolean *oldb, Boolean *newb);
        CSolver *clone();
+       void autoTune();
 
+       void setTuner(Tuner * _tuner) { tuner = _tuner; }
+       long long getElapsedTime() { return elapsedTime; }
+       long long getEncodeTime();
+       long long getSolveTime();
+       
        MEMALLOC;
 
 private:
@@ -154,5 +160,7 @@ private:
        SATEncoder *satEncoder;
        bool unsat;
        Tuner *tuner;
+
+       long long elapsedTime;
 };
 #endif