5 * Created on June 13, 2017, 3:01 PM
11 #include "classlist.h"
18 Set(VarType t, uint64_t *elements, uint num);
19 Set(VarType t, uint64_t lowrange, uint64_t highrange);
21 bool exists(uint64_t element);
23 VarType getType() {return type;}
24 uint64_t getNewUniqueItem() {return low++;}
25 uint64_t getMemberAt(uint index);
26 uint64_t getElement(uint index);
27 uint getUnionSize(Set *s);
28 virtual bool isMutableSet() {return false;}
29 virtual Set *clone(CSolver *solver, CloneMap *map);
30 virtual void serialize(Serializer* serializer);
36 uint64_t low;//also used to count unique items
38 Vector<uint64_t> *members;
41 int intcompare(const void *p1, const void *p2);