Merge

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

diff --git a/src/AST/set.h b/src/AST/set.h
index 088eca577cd7b75611d9c4095dbd87625e7395b2..ad89504db94e76170464d1eb5c29c943dd1106c3 100644 (file)
--- a/src/AST/set.h
+++ b/src/AST/set.h
@@ -25,6 +25,7 @@ public:
        uint64_t getMemberAt(uint index);
        uint64_t getElement(uint index);
        uint getUnionSize(Set *s);
+       virtual bool isMutableSet() {return false;}
        virtual Set *clone(CSolver *solver, CloneMap *map);
        virtual void serialize(Serializer* serializer);
        CMEMALLOC;
@@ -36,5 +37,6 @@ protected:
        Vector<uint64_t> *members;
 };
 
+int intcompare(const void *p1, const void *p2);
 #endif/* SET_H */