Adding SMT Interpreters

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

diff --git a/src/Serialize/deserializer.h b/src/Serialize/deserializer.h
index c56911db614d9a065249d02eeb59c32716fb4845..1a936743576dd3b8522ea69c2e0b2bf5464073bb 100644 (file)
--- a/src/Serialize/deserializer.h
+++ b/src/Serialize/deserializer.h
@@ -19,13 +19,14 @@
  */
 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();