5 * Created on June 13, 2017, 3:01 PM
11 #include "classlist.h"
14 #include "serializable.h"
16 class Set : public Serializable {
19 Set(VarType t, uint64_t *elements, uint num);
20 Set(VarType t, uint64_t lowrange, uint64_t highrange);
22 bool exists(uint64_t element);
24 VarType getType() {return type;}
25 uint64_t getNewUniqueItem() {return low++;}
26 uint64_t getMemberAt(uint index);
27 uint64_t getElement(uint index);
28 virtual Set *clone(CSolver *solver, CloneMap *map);
29 virtual void serialize(Serializer* serializer);
34 uint64_t low;//also used to count unique items
36 Vector<uint64_t> *members;