Adding SMT Interpreters

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

diff --git a/src/Serialize/serializer.h b/src/Serialize/serializer.h
index eb114dc85088d87dbf7dfbeb8f6f934b62161ae7..79012c7481d498bb5fdfb0ef4c4fdab90a9503c3 100644 (file)
--- a/src/Serialize/serializer.h
+++ b/src/Serialize/serializer.h
@@ -1,5 +1,5 @@
 
-/* 
+/*
  * File:   serializer.h
  * Author: hamed
  *
@@ -9,8 +9,10 @@
 #ifndef SERIALIZER_H
 #define SERIALIZER_H
 #include "mymemory.h"
+#include "classlist.h"
 #include "structs.h"
 
+
 class Serializer {
 public:
        Serializer(const char *file);
@@ -20,18 +22,22 @@ public:
        virtual ~Serializer();
        CMEMALLOC;
 private:
+       void flushBuffer();
+       char *buffer;
+       uint bufferoffset;
+       uint bufferlength;
        int filedesc;
        CloneMap map;
 };
 
-inline bool Serializer::isSerialized(void* obj){
+inline bool Serializer::isSerialized(void *obj) {
        return map.contains(obj);
 }
 
 
 
 
-void serializeBooleanEdge(Serializer* serializer, BooleanEdge& be);
+void serializeBooleanEdge(Serializer *serializer, BooleanEdge be, bool isTopLevel = false);
 
-#endif /* SERIALIZER_H */
+#endif/* SERIALIZER_H */