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);