#include "set.h"
class MutableSet : public Set {
- public:
+public:
MutableSet(VarType t);
void addElementMSet(uint64_t element);
- MEMALLOC;
+ Set *clone(CSolver *solver, CloneMap *map);
+ bool isMutableSet() {return true;}
+ void finalize();
+ CMEMALLOC;
};
#endif