src/AST/set.h

   1 /*
   2  * File:   set.h
   3  * Author: hamed
   4  *
   5  * Created on June 13, 2017, 3:01 PM
   6  */
   7
   8 #ifndef SET_H
   9 #define SET_H
  10
  11 #include "classlist.h"
  12 #include "structs.h"
  13 #include "mymemory.h"
  14
  15 class Set {
  16 public:
  17         Set(VarType t);
  18         Set(VarType t, uint64_t *elements, uint num);
  19         Set(VarType t, uint64_t lowrange, uint64_t highrange);
  20         virtual ~Set();
  21         bool exists(uint64_t element);
  22         uint getSize();
  23         VarType getType() {return type;}
  24         uint64_t getNewUniqueItem() {return low++;}
  25         uint64_t getMemberAt(uint index);
  26         uint64_t getElement(uint index);
  27         virtual bool isMutableSet() {return false;}
  28         virtual Set *clone(CSolver *solver, CloneMap *map);
  29         virtual void serialize(Serializer* serializer);
  30         CMEMALLOC;
  31 protected:
  32         VarType type;
  33         bool isRange;
  34         uint64_t low;//also used to count unique items
  35         uint64_t high;
  36         Vector<uint64_t> *members;
  37
  38 };
  39
  40 int intcompare(const void *p1, const void *p2);
  41 #endif/* SET_H */
  42