projects
/
satune.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
043aece429927b38e4ee58ea731ea938fb9f108c
[satune.git]
/
src
/
set.c
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
}