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