X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=src%2Fcsolver.h;h=d7ccdb53ee3bd58f46857b7ceb496fa7440b1923;hb=e9ca288c7f0cf0f3bb9508c3cc9b212f557bcc40;hp=7da50c55b9bf60667e994cf50bb8178d5f009f3d;hpb=3267d387309bb4d2aa130a940f386b419652a956;p=satune.git

diff --git a/src/csolver.h b/src/csolver.h
index 7da50c5..d7ccdb5 100644
--- a/src/csolver.h
+++ b/src/csolver.h
@@ -161,12 +161,12 @@ public:
 	void replaceBooleanWithBoolean(BooleanEdge oldb, BooleanEdge newb);
 	CSolver *clone();
 	void serialize();
-	static CSolver *deserialize(const char *file, bool alloy = false);
+	static CSolver *deserialize(const char *file, InterpreterType itype = SATUNE);
 	void autoTune(uint budget);
 	void inferFixedOrders();
 	void inferFixedOrder(Order *order);
-	void setAlloyEncoder();
-	bool useAlloyCompiler() {return interpreter != NULL;}
+	void setInterpreter(InterpreterType type);
+	bool useInterpreter() {return interpreter != NULL;}
 	void setTuner(Tuner *_tuner) { tuner = _tuner; }
 	long long getElapsedTime() { return elapsedTime; }
 	long long getEncodeTime();