6 * Created on September 7, 2017, 6:07 PM
10 #define DESERIALIZER_H
11 #include "classlist.h"
15 * Style of serialized file:
16 * ASTNodeType#Pointer#ObjectDATA
22 Deserializer(const char* file);
23 CSolver *deserialize();
24 virtual ~Deserializer();
26 ssize_t myread (void *__buf, size_t __nbytes);
27 void deserializeBooleanEdge();
28 void deserializeBooleanVar();
29 void deserializeBooleanOrder();
35 #endif /* DESERIALIZER_H */