6 * Created on September 7, 2017, 3:38 PM
16 Serializer(const char *file);
17 void mywrite(const void *__buf, size_t __n);
18 inline bool isSerialized(void *obj);
19 inline void addObject(void *obj) { map.put(obj, obj);}
20 virtual ~Serializer();
27 inline bool Serializer::isSerialized(void* obj){
28 return map.contains(obj);
34 void serializeBooleanEdge(Serializer* serializer, BooleanEdge& be);
36 #endif /* SERIALIZER_H */