(de)serializer: BooleanOrder + BooleanVar

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

diff --git a/src/Serialize/deserializer.h b/src/Serialize/deserializer.h
index 8448dff18a3d6d4080b02924ecff3c69f9e4145d..7e26cf327ac3185ce7bcebe890312703072c2924 100644 (file)
--- a/src/Serialize/deserializer.h
+++ b/src/Serialize/deserializer.h
@@ -25,6 +25,8 @@ public:
 private:
        ssize_t myread (void *__buf, size_t __nbytes);
        void deserializeBooleanEdge();
+       void deserializeBooleanVar();
+       void deserializeBooleanOrder();
        CSolver *solver;
        int filedesc;
        CloneMap map;