diff -r 104aab6e5d86 -r 9b6f8c3587f0 lemon/graph_utils.h
--- a/lemon/graph_utils.h	Fri Jun 10 12:11:50 2005 +0000
+++ b/lemon/graph_utils.h	Fri Jun 10 12:16:25 2005 +0000
@@ -678,6 +678,13 @@
       Value operator[](const Key& key) const {
 	return inverted.invMap[key];
       }
+
+      /// \brief Size of the map.
+      ///
+      /// Returns the size of the map.
+      unsigned size() const {
+	return inverted.invMap.size();
+      }
       
     private:
       const DescriptorMap& inverted;