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 Set *clone(CSolver *solver, CloneMap *map);
  28         CMEMALLOC;
  29 protected:
  30         VarType type;
  31         bool isRange;
  32         uint64_t low;//also used to count unique items
  33         uint64_t high;
  34         Vector<uint64_t> *members;
  35
  36 };
  37
  38 #endif/* SET_H */
  39