Bug fix: typos

[satune.git] / src / Serialize / deserializer.h

diff --git a/src/Serialize/deserializer.h b/src/Serialize/deserializer.h
index 7e26cf327ac3185ce7bcebe890312703072c2924..1a936743576dd3b8522ea69c2e0b2bf5464073bb 100644 (file)
--- 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 */