Adding SMT Interpreters

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

diff --git a/src/Serialize/serializer.h b/src/Serialize/serializer.h
index f147773f5ebf9fae2533ebd38da5d4130d0ab9c3..79012c7481d498bb5fdfb0ef4c4fdab90a9503c3 100644 (file)
--- a/src/Serialize/serializer.h
+++ b/src/Serialize/serializer.h
@@ -22,6 +22,10 @@ public:
        virtual ~Serializer();
        CMEMALLOC;
 private:
+       void flushBuffer();
+       char *buffer;
+       uint bufferoffset;
+       uint bufferlength;
        int filedesc;
        CloneMap map;
 };
@@ -33,7 +37,7 @@ inline bool Serializer::isSerialized(void *obj) {
 
 
 
-void serializeBooleanEdge(Serializer *serializer, BooleanEdge be);
+void serializeBooleanEdge(Serializer *serializer, BooleanEdge be, bool isTopLevel = false);
 
 #endif/* SERIALIZER_H */