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, bool alloy = false);
23 CSolver *deserialize();
24 virtual ~Deserializer();
26 ssize_t myread (void *__buf, size_t __nbytes);
27 void deserializeBooleanEdge();
28 void deserializeBooleanVar();
29 void deserializeBooleanConst();
30 void deserializeBooleanOrder();
31 void deserializeOrder();
32 void deserializeSet();
33 void deserializeBooleanLogic();
34 void deserializeBooleanPredicate();
35 void deserializePredicateTable();
36 void deserializePredicateOperator();
37 void deserializeTable();
38 void deserializeElementSet();
39 void deserializeElementConst();
40 void deserializeElementFunction();
41 void deserializeFunctionOperator();
42 void deserializeFunctionTable();
53 #endif/* DESERIALIZER_H */