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 getElement(uint index);
26 uint getUnionSize(Set *s);
27 virtual bool isMutableSet() {return false;}
28 virtual Set *clone(CSolver *solver, CloneMap *map);
29 virtual void serialize(Serializer *serializer);
35 uint64_t low; //also used to count unique items
37 Vector<uint64_t> *members;
38 friend class ElementOpt;
41 int intcompare(const void *p1, const void *p2);