CMEMALLOC;
private:
void flushBuffer();
- char * buffer;
+ char *buffer;
uint bufferoffset;
uint bufferlength;
int filedesc;
-void serializeBooleanEdge(Serializer *serializer, BooleanEdge be, bool isTopLevel=false);
+void serializeBooleanEdge(Serializer *serializer, BooleanEdge be, bool isTopLevel = false);
#endif/* SERIALIZER_H */