src/AST/mutableset.cc

   1 #include "mutableset.h"
   2 #include "csolver.h"
   3
   4 MutableSet::MutableSet(VarType t) : Set(t) {
   5 }
   6
   7 void MutableSet::addElementMSet(uint64_t element) {
   8         members->push(element);
   9 }
  10
  11 Set *MutableSet::clone(CSolver *solver, CloneMap *map) {
  12         Set *s = (Set *) map->get(this);
  13         if (s != NULL)
  14                 return s;
  15         s = solver->createMutableSet(type);
  16         for (uint i = 0; i < members->getSize(); i++) {
  17                 solver->addItem((MutableSet *) s, members->get(i));
  18         }
  19         map->put(this, s);
  20         return s;
  21 }