Merge branch 'master' of ssh://demsky.eecs.uci.edu/home/git/constraint_compiler into...
[satune.git] / src / AST / mutableset.h
1 #ifndef MUTABLESET_H
2 #define MUTABLESET_H
3 #include "set.h"
4
5 MutableSet *allocMutableSet(VarType t);
6 void addElementMSet(MutableSet *set, uint64_t element);
7 #endif