src/lemon/vector_map.h
changeset 975 12b9993b217c
parent 946 c94ef40a22ce
child 978 175cf8c3a994
equal deleted inserted replaced
2:ecdd6eacf3ba 3:ad4387a16732
   187 
   187 
   188     /// Erases a key from the map.
   188     /// Erases a key from the map.
   189 		
   189 		
   190     /// Erase a key from the map. It called by the observer registry
   190     /// Erase a key from the map. It called by the observer registry
   191     /// and it overrides the erase() member function of the observer base.     
   191     /// and it overrides the erase() member function of the observer base.     
   192     void erase(const KeyType& key) {}
   192     void erase(const KeyType&) {}
   193 
   193 
   194     /// Buildes the map.
   194     /// Buildes the map.
   195 		
   195 		
   196     /// It buildes the map. It called by the observer registry
   196     /// It buildes the map. It called by the observer registry
   197     /// and it overrides the build() member function of the observer base.
   197     /// and it overrides the build() member function of the observer base.