X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2Fcsolver.h;h=c6044864313280cb71e21a01528d73d0d87b0a36;hp=16937ddd63827f67aaa46827dcdc371914dd0de6;hb=c53a5c97df5189f82b618e510bb7fcad8671e5ff;hpb=3aa1a638b66927eb2eeb90030cf489099f028e45

diff --git a/src/csolver.h b/src/csolver.h
index 16937dd..c604486 100644
--- a/src/csolver.h
+++ b/src/csolver.h
@@ -141,7 +141,7 @@ public:
 	void setUnSAT() { model_print("Setting UNSAT %%%%%%\n"); unsat = true; }
 	void setSatSolverTimeout(long seconds) { satsolverTimeout = seconds;}
 	bool isUnSAT() { return unsat; }
-
+        bool isBooleanVarUsed(){return booleanVarUsed;}
 	void printConstraint(BooleanEdge boolean);
 	void printConstraints();
 
@@ -218,7 +218,8 @@ private:
 
 	SATEncoder *satEncoder;
 	bool unsat;
-	Tuner *tuner;
+        bool booleanVarUsed;
+        Tuner *tuner;
 	long long elapsedTime;
 	long satsolverTimeout;
 	friend class ElementOpt;