Bug fix
authordeba
Thu, 24 Nov 2005 15:48:53 +0000
changeset 1832d0c28d9c9141
parent 1831 75ab76fc4bf2
child 1833 6d107b0b6b46
Bug fix
lemon/bits/alteration_notifier.h
lemon/bits/vector_map.h
     1.1 --- a/lemon/bits/alteration_notifier.h	Wed Nov 23 16:24:59 2005 +0000
     1.2 +++ b/lemon/bits/alteration_notifier.h	Thu Nov 24 15:48:53 2005 +0000
     1.3 @@ -127,8 +127,6 @@
     1.4        Registry* registry;
     1.5        int registry_index;
     1.6  
     1.7 -    public:
     1.8 -
     1.9        /// \brief The member function to notificate the observer about an
    1.10        /// item is added to the container.
    1.11        ///
     2.1 --- a/lemon/bits/vector_map.h	Wed Nov 23 16:24:59 2005 +0000
     2.2 +++ b/lemon/bits/vector_map.h	Thu Nov 24 15:48:53 2005 +0000
     2.3 @@ -184,12 +184,28 @@
     2.4        }
     2.5      }
     2.6  
     2.7 +    /// \brief Adds more new keys to the map.
     2.8 +    ///		
     2.9 +    /// It adds more new keys to the map. It called by the observer registry
    2.10 +    /// and it overrides the add() member function of the observer base.     
    2.11 +    virtual void add(const std::vector<Key>& keys) {
    2.12 +      for (int i = 0; i < (int)keys.size(); ++i) {
    2.13 +	add(keys[i]);
    2.14 +      }
    2.15 +    }
    2.16 +
    2.17      /// \brief Erase a key from the map.
    2.18      ///
    2.19      /// Erase a key from the map. It called by the observer registry
    2.20      /// and it overrides the erase() member function of the observer base.     
    2.21      virtual void erase(const Key&) {}
    2.22  
    2.23 +    /// \brief Erase more keys from the map.
    2.24 +    ///
    2.25 +    /// Erase more keys from the map. It called by the observer registry
    2.26 +    /// and it overrides the erase() member function of the observer base.     
    2.27 +    virtual void erase(const std::vector<Key>&) {}
    2.28 +    
    2.29      /// \brief Buildes the map.
    2.30      ///	
    2.31      /// It buildes the map. It called by the observer registry