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 6a41815cfe401eabdfbb0c2814dd1b398c125e9f..ef10b39bdaf3dc75830dde6d980a0a155b1293eb 100644 (file)
--- a/src/AST/set.h
+++ b/src/AST/set.h
@@ -11,9 +11,8 @@
 #include "classlist.h"
 #include "structs.h"
 #include "mymemory.h"
-#include "serializable.h"
 
-class Set : public Serializable {
+class Set {
 public:
        Set(VarType t);
        Set(VarType t, uint64_t *elements, uint num);
@@ -25,6 +24,7 @@ public:
        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;
@@ -37,5 +37,6 @@ protected:
 
 };
 
+int intcompare(const void *p1, const void *p2);
 #endif/* SET_H */