completed serializer/deserializer

[satune.git] / src / Serialize / deserializer.h

diff --git a/src/Serialize/deserializer.h b/src/Serialize/deserializer.h
index 7c7d39a9b598353b1d57b135038082b7692c7b1a..057346d4cbca9652d34118f708e52c24d227cf79 100644 (file)
--- a/src/Serialize/deserializer.h
+++ b/src/Serialize/deserializer.h
@@ -29,6 +29,16 @@ private:
        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();
        CSolver *solver;
        int filedesc;
        CloneMap map;