towards cloning

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

diff --git a/src/AST/set.h b/src/AST/set.h
index bb246b6f690d7e1c0542bb869f6f2b2e7780a441..3ff404a5be1c4b858c0da3ac66dd79501599ec1c 100644 (file)
--- a/src/AST/set.h
+++ b/src/AST/set.h
@@ -17,11 +17,12 @@ public:
        Set(VarType t);
        Set(VarType t, uint64_t *elements, uint num);
        Set(VarType t, uint64_t lowrange, uint64_t highrange);
-       ~Set();
+       virtual ~Set();
        bool exists(uint64_t element);
        uint getSize();
        uint64_t getElement(uint index);
-
+       virtual Set * clone(CSolver * solver, CloneMap *map);
+       
        VarType type;
        bool isRange;
        uint64_t low;//also used to count unique items