eset_count() added

[r6831]

diff --git a/ir/adt/eset.c b/ir/adt/eset.c
index 9ea922c..6dd23a9 100644 (file)
--- a/ir/adt/eset.c
+++ b/ir/adt/eset.c
@@ -49,6 +49,10 @@ void eset_destroy(eset *s) {
   del_set((set *)s);
 }
 
+/* Returns the number of elements in the set. */
+int eset_count(eset *s) {
+  return set_count((set *)s);
+}
 
 void eset_insert(eset *s, void *p) {
   if (!eset_contains(s, p)) {

diff --git a/ir/adt/eset.h b/ir/adt/eset.h
index 430117a..fbdb5e0 100644 (file)
--- a/ir/adt/eset.h
+++ b/ir/adt/eset.h
@@ -30,6 +30,9 @@ eset *eset_copy(eset *source);
 /** Deletes a set. */
 void eset_destroy(eset *s);
 
+/** Returns the number of elements in the set. */
+int eset_count(eset *s);
+
 /** Inserts an address into the set. */
 void eset_insert(eset *s, void *p);