X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2Fcsolver.h;h=49438b697b1235287cba1a437ec4b17aa63c9f7f;hp=6996e4229c9376f78b5d4258ee7d2669f334b858;hb=974a00584da88dce9c638bd5fd981f2164176e2c;hpb=38c275a74e1bd8fb93a43293aaed664acc9a8b03;ds=sidebyside

diff --git a/src/csolver.h b/src/csolver.h
index 6996e42..49438b6 100644
--- a/src/csolver.h
+++ b/src/csolver.h
@@ -142,6 +142,8 @@ public:
 
 	void freezeElement(Element *e);
 	
+	void turnoffOptimizations(){optimizationsOff = true;}
+	
 	/** After getting the solution from the SAT solver, client can get the value of a boolean via this function*/
 	bool getBooleanValue(BooleanEdge boolean);
 
@@ -237,10 +239,12 @@ private:
 	bool unsat;
 	bool booleanVarUsed;
 	bool incrementalMode;
+	bool optimizationsOff;
 	Tuner *tuner;
 	long long elapsedTime;
 	long satsolverTimeout;
 	Interpreter *interpreter;
+	bool noOptimization;
 	friend class ElementOpt;
 	friend class VarOrderingOpt;
 };