Using hashset for tableEntries + adding handlers for different undefBehaviors for...

[satune.git] / src / AST / set.h

diff --git a/src/AST/set.h b/src/AST/set.h
index badb28c4b6a165ce2e048fd7b4618ad41a3a4e5c..1555ae9650dc1169795fbd61174c5635461851d3 100644 (file)
--- a/src/AST/set.h
+++ b/src/AST/set.h
@@ -20,11 +20,11 @@ struct Set {
        VectorInt * members;
 };
 
-
-Set *allocSet(VarType t, uint64_t * elements, uint num);
+Set * allocSet(VarType t, uint64_t * elements, uint num);
 Set * allocSetRange(VarType t, uint64_t lowrange, uint64_t highrange);
-bool existsInSet(Set* set, uint64_t element);
-uint getSetSize(Set* set);
-void deleteSet(Set *set);
+bool existsInSet(Set * This, uint64_t element);
+uint getSetSize(Set * This);
+uint64_t getSetElement(Set * This, uint index);
+void deleteSet(Set * This);
 #endif/* SET_H */