-/*
+/*
* File: serializer.h
* Author: hamed
*
#ifndef SERIALIZER_H
#define SERIALIZER_H
#include "mymemory.h"
+#include "classlist.h"
#include "structs.h"
+
class Serializer {
public:
Serializer(const char *file);
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 */