src/AST/mutableset.cc

   1 #include "mutableset.h"
   2
   3 MutableSet::MutableSet(VarType t) : Set(t) {
   4 }
   5
   6 void MutableSet::addElementMSet(uint64_t element) {
   7         members->push(element);
   8 }