-/*
+/*
* File: deserializer.h
* Author: hamed
*
/**
* Style of serialized file:
* ASTNodeType#Pointer#ObjectDATA
- *
+ *
* @param file
*/
class Deserializer {
public:
- Deserializer(const char* file);
+ Deserializer(const char *file);
CSolver *deserialize();
virtual ~Deserializer();
private:
void deserializeBooleanEdge();
void deserializeBooleanVar();
void deserializeBooleanOrder();
+ void deserializeOrder();
+ void deserializeSet();
+ void deserializeBooleanLogic();
+ void deserializeBooleanPredicate();
+ void deserializePredicateTable();
+ void deserializePredicateOperator();
+ void deserializeTable();
+ void deserializeElementSet();
+ void deserializeElementConst();
+ void deserializeElementFunction();
+ void deserializeFunctionOperator();
+ void deserializeFunctionTable();
+ char *buffer;
+ uint bufferindex;
+ uint bufferbytes;
+ uint buffercap;
+
CSolver *solver;
int filedesc;
CloneMap map;
};
-#endif /* DESERIALIZER_H */
+#endif/* DESERIALIZER_H */