1 #include "mutableset.h"
3 MutableSet *allocMutableSet(VarType t) {
4 MutableSet *This = (MutableSet *)ourmalloc(sizeof(MutableSet));
9 This->members = allocDefVectorInt();
13 void addElementMSet(MutableSet *set, uint64_t element) {
14 pushVectorInt(set->members, element);