X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2FSerialize%2Fdeserializer.h;h=1a936743576dd3b8522ea69c2e0b2bf5464073bb;hp=7e26cf327ac3185ce7bcebe890312703072c2924;hb=HEAD;hpb=4901eaf03e64e4ed21f1ec0d786b75b5aa29283c

diff --git a/src/Serialize/deserializer.h b/src/Serialize/deserializer.h
index 7e26cf3..1a93674 100644
--- a/src/Serialize/deserializer.h
+++ b/src/Serialize/deserializer.h
@@ -1,5 +1,5 @@
 
-/* 
+/*
  * File:   deserializer.h
  * Author: hamed
  *
@@ -14,23 +14,41 @@
 /**
  * Style of serialized file:
  * ASTNodeType#Pointer#ObjectDATA
- * 
+ *
  * @param file
  */
 class Deserializer {
 public:
-	Deserializer(const char* file);
+	Deserializer(const char *file, InterpreterType itype = SATUNE);
 	CSolver *deserialize();
 	virtual ~Deserializer();
 private:
 	ssize_t myread (void *__buf, size_t __nbytes);
 	void deserializeBooleanEdge();
 	void deserializeBooleanVar();
+	void deserializeBooleanConst();
 	void deserializeBooleanOrder();
+	void deserializeOrder();
+	void deserializeSet();
+	void deserializeBooleanLogic();
+	void deserializeBooleanPredicate();
+	void deserializePredicateTable();
+	void deserializePredicateOperator();
+	void deserializeTable();
+	void deserializeElementSet();
+	void deserializeElementConst();
+	void deserializeElementFunction();
+	void deserializeFunctionOperator();
+	void deserializeFunctionTable();
+	char *buffer;
+	uint bufferindex;
+	uint bufferbytes;
+	uint buffercap;
+
 	CSolver *solver;
 	int filedesc;
 	CloneMap map;
 };
 
-#endif /* DESERIALIZER_H */
+#endif/* DESERIALIZER_H */