*/
class Deserializer {
public:
- Deserializer(const char *file);
+ Deserializer(const char *file, InterpreterType itype = SATUNE);
CSolver *deserialize();
virtual ~Deserializer();
private:
ssize_t myread (void *__buf, size_t __nbytes);
void deserializeBooleanEdge();
void deserializeBooleanVar();
+ void deserializeBooleanConst();
void deserializeBooleanOrder();
void deserializeOrder();
void deserializeSet();
void deserializeElementFunction();
void deserializeFunctionOperator();
void deserializeFunctionTable();
+ char *buffer;
+ uint bufferindex;
+ uint bufferbytes;
+ uint buffercap;
+
CSolver *solver;
int filedesc;
CloneMap map;