X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2FSerialize%2Fserializer.h;h=79012c7481d498bb5fdfb0ef4c4fdab90a9503c3;hp=f147773f5ebf9fae2533ebd38da5d4130d0ab9c3;hb=cd362e8c49a8ac25e3f0324e89d139285cb71c3d;hpb=cfbb106cf7c1281029b012c47580c9f14df1014b

diff --git a/src/Serialize/serializer.h b/src/Serialize/serializer.h
index f147773..79012c7 100644
--- 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 */