Adding an API for finalizing MutableSet

[satune.git] / src / AST / set.h

diff --git a/src/AST/set.h b/src/AST/set.h
index 938027b65d06145f834a1ff65ee9a5c72d28072f..ef10b39bdaf3dc75830dde6d980a0a155b1293eb 100644 (file)
--- a/src/AST/set.h
+++ b/src/AST/set.h
@@ -20,16 +20,23 @@ public:
        virtual ~Set();
        bool exists(uint64_t element);
        uint getSize();
+       VarType getType() {return type;}
+       uint64_t getNewUniqueItem() {return low++;}
+       uint64_t getMemberAt(uint index);
        uint64_t getElement(uint index);
+       virtual bool isMutableSet() {return false;}
        virtual Set *clone(CSolver *solver, CloneMap *map);
-
+       virtual void serialize(Serializer* serializer);
+       CMEMALLOC;
+protected:
        VarType type;
        bool isRange;
        uint64_t low;//also used to count unique items
        uint64_t high;
        Vector<uint64_t> *members;
-       MEMALLOC;
+
 };
 
+int intcompare(const void *p1, const void *p2);
 #endif/* SET_H */