projects
/
satune.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
New approach for Total Order
[satune.git]
/
src
/
AST
/
set.c
diff --git
a/src/AST/set.c
b/src/AST/set.c
index fc056a2e16b95ef9547af781cd800de6956ec461..afe26ec7a5477e0fbfac0a10b11ffbfe3b7896a2 100644
(file)
--- a/
src/AST/set.c
+++ b/
src/AST/set.c
@@
-21,6
+21,14
@@
Set * allocSetRange(VarType t, uint64_t lowrange, uint64_t highrange) {
return tmp;
}
+uint getSetSize(Set* set){
+ if(set->isRange){
+ return set->high- set->low+1;
+ }else{
+ return getSizeVectorInt(set->members);
+ }
+}
+
void deleteSet(Set * set) {
if (!set->isRange)
deleteVectorInt(set->members);