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();
30 void deserializeOrder();
31 void deserializeSet();
32 void deserializeBooleanLogic();
33 void deserializeBooleanPredicate();
34 void deserializePredicateTable();
35 void deserializePredicateOperator();
36 void deserializeTable();
37 void deserializeElementSet();
38 void deserializeElementConst();
39 void deserializeElementFunction();
40 void deserializeFunctionOperator();
41 void deserializeFunctionTable();
52 #endif/* DESERIALIZER_H */