src/set.cc

   1 #include "set.h"
   2 #include <stddef.h>
   3 #include <cassert>
   4
   5 Set::Set(VarType t, uint64_t* elements, int num) :
   6         type (t),
   7         isRange(false),
   8         low(0),
   9         high(0),
  10         members(new ModelVector<uint64_t>()) {
  11         members->reserve(num);
  12         for(int i=0;i<num;i++)
  13                 members->push_back(elements[i]);
  14 }
  15
  16 Set::Set(VarType t, uint64_t lowrange, uint64_t highrange) :
  17         type(t),
  18         isRange(true),
  19         low(lowrange),
  20         high(highrange),
  21         members(NULL) {
  22 }
  23
  24 Set::~Set() {
  25         if (isRange)
  26                 delete members;
  27 }