1.1 --- a/lemon/bits/edge_set_extender.h	Thu Mar 01 16:50:12 2007 +0000
     1.2 +++ b/lemon/bits/edge_set_extender.h	Thu Mar 01 17:14:24 2007 +0000
     1.3 @@ -81,12 +81,12 @@
     1.4  
     1.5    public:
     1.6  
     1.7 -    using Parent::getNotifier;
     1.8 +    using Parent::notifier;
     1.9  
    1.10      /// \brief Gives back the edge alteration notifier.
    1.11      ///
    1.12      /// Gives back the edge alteration notifier.
    1.13 -    EdgeNotifier& getNotifier(Edge) const {
    1.14 +    EdgeNotifier& notifier(Edge) const {
    1.15        return edge_notifier;
    1.16      }
    1.17  
    1.18 @@ -246,17 +246,17 @@
    1.19  
    1.20      Edge addEdge(const Node& from, const Node& to) {
    1.21        Edge edge = Parent::addEdge(from, to);
    1.22 -      getNotifier(Edge()).add(edge);
    1.23 +      notifier(Edge()).add(edge);
    1.24        return edge;
    1.25      }
    1.26      
    1.27      void clear() {
    1.28 -      getNotifier(Edge()).clear();
    1.29 +      notifier(Edge()).clear();
    1.30        Parent::clear();
    1.31      }
    1.32  
    1.33      void erase(const Edge& edge) {
    1.34 -      getNotifier(Edge()).erase(edge);
    1.35 +      notifier(Edge()).erase(edge);
    1.36        Parent::erase(edge);
    1.37      }
    1.38  
    1.39 @@ -340,13 +340,13 @@
    1.40  
    1.41    public:
    1.42  
    1.43 -    using Parent::getNotifier;
    1.44 +    using Parent::notifier;
    1.45      
    1.46 -    EdgeNotifier& getNotifier(Edge) const {
    1.47 +    EdgeNotifier& notifier(Edge) const {
    1.48        return edge_notifier;
    1.49      }
    1.50  
    1.51 -    UEdgeNotifier& getNotifier(UEdge) const {
    1.52 +    UEdgeNotifier& notifier(UEdge) const {
    1.53        return uedge_notifier;
    1.54      }
    1.55  
    1.56 @@ -589,22 +589,22 @@
    1.57  
    1.58      UEdge addEdge(const Node& from, const Node& to) {
    1.59        UEdge uedge = Parent::addEdge(from, to);
    1.60 -      getNotifier(UEdge()).add(uedge);
    1.61 -      getNotifier(Edge()).add(Parent::direct(uedge, true));
    1.62 -      getNotifier(Edge()).add(Parent::direct(uedge, false));
    1.63 +      notifier(UEdge()).add(uedge);
    1.64 +      notifier(Edge()).add(Parent::direct(uedge, true));
    1.65 +      notifier(Edge()).add(Parent::direct(uedge, false));
    1.66        return uedge;
    1.67      }
    1.68      
    1.69      void clear() {
    1.70 -      getNotifier(Edge()).clear();
    1.71 -      getNotifier(UEdge()).clear();
    1.72 +      notifier(Edge()).clear();
    1.73 +      notifier(UEdge()).clear();
    1.74        Parent::clear();
    1.75      }
    1.76  
    1.77      void erase(const UEdge& uedge) {
    1.78 -      getNotifier(Edge()).erase(Parent::direct(uedge, true));
    1.79 -      getNotifier(Edge()).erase(Parent::direct(uedge, false));
    1.80 -      getNotifier(UEdge()).erase(uedge);
    1.81 +      notifier(Edge()).erase(Parent::direct(uedge, true));
    1.82 +      notifier(Edge()).erase(Parent::direct(uedge, false));
    1.83 +      notifier(UEdge()).erase(uedge);
    1.84        Parent::erase(uedge);
    1.85      }
    1.86