X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2Fcsolver.h;h=d7ccdb53ee3bd58f46857b7ceb496fa7440b1923;hp=0dc3ceffe99ba68085cca2a9b7703c3eed90673a;hb=4c58af641a877bb6d65769994c8fd57ecedbd22c;hpb=342c3e59b76a3e79741a0867f7770255eaa82c63

diff --git a/src/csolver.h b/src/csolver.h
index 0dc3cef..d7ccdb5 100644
--- a/src/csolver.h
+++ b/src/csolver.h
@@ -161,16 +161,17 @@ public:
 	void replaceBooleanWithBoolean(BooleanEdge oldb, BooleanEdge newb);
 	CSolver *clone();
 	void serialize();
-	static CSolver *deserialize(const char *file);
+	static CSolver *deserialize(const char *file, InterpreterType itype = SATUNE);
 	void autoTune(uint budget);
 	void inferFixedOrders();
 	void inferFixedOrder(Order *order);
-	void setAlloyEncode();
-
+	void setInterpreter(InterpreterType type);
+	bool useInterpreter() {return interpreter != NULL;}
 	void setTuner(Tuner *_tuner) { tuner = _tuner; }
 	long long getElapsedTime() { return elapsedTime; }
 	long long getEncodeTime();
 	long long getSolveTime();
+	long getSatSolverTimeout() { return satsolverTimeout;}
 
 	CMEMALLOC;
 
@@ -222,7 +223,7 @@ private:
         Tuner *tuner;
 	long long elapsedTime;
 	long satsolverTimeout;
-	AlloyEnc *alloyEncoder;
+	Interpreter *interpreter;
 	friend class ElementOpt;
 	friend class VarOrderingOpt;
 };