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 uint64_t getElement(uint index);
24 virtual Set *clone(CSolver *solver, CloneMap *map);
28 uint64_t low;//also used to count unique items
30 Vector<uint64_t> *members;