src/AST/mutableset.h

   1 #ifndef MUTABLESET_H
   2 #define MUTABLESET_H
   3 #include "set.h"
   4
   5 class MutableSet : public Set {
   6 public:
   7         MutableSet(VarType t);
   8         void addElementMSet(uint64_t element);
   9         Set *clone(CSolver *solver, CloneMap *map);
  10         bool isMutableSet() {return true;}
  11         void finalize();
  12         CMEMALLOC;
  13 };
  14 #endif