diff -r 545926902c13 -r 805c5a2a36dd lemon/bits/graph_extender.h
--- a/lemon/bits/graph_extender.h	Thu Mar 01 16:50:12 2007 +0000
+++ b/lemon/bits/graph_extender.h	Thu Mar 01 17:14:24 2007 +0000
@@ -86,11 +86,11 @@
 
   public:
 
-    NodeNotifier& getNotifier(Node) const {
+    NodeNotifier& notifier(Node) const {
       return node_notifier;
     }
     
-    EdgeNotifier& getNotifier(Edge) const {
+    EdgeNotifier& notifier(Edge) const {
       return edge_notifier;
     }
 
@@ -266,27 +266,27 @@
 
     Node addNode() {
       Node node = Parent::addNode();
-      getNotifier(Node()).add(node);
+      notifier(Node()).add(node);
       return node;
     }
     
     Edge addEdge(const Node& from, const Node& to) {
       Edge edge = Parent::addEdge(from, to);
-      getNotifier(Edge()).add(edge);
+      notifier(Edge()).add(edge);
       return edge;
     }
 
     void clear() {
-      getNotifier(Edge()).clear();
-      getNotifier(Node()).clear();
+      notifier(Edge()).clear();
+      notifier(Node()).clear();
       Parent::clear();
     }
 
     template <typename Graph, typename NodeRefMap, typename EdgeRefMap>
     void build(const Graph& graph, NodeRefMap& nodeRef, EdgeRefMap& edgeRef) {
       Parent::build(graph, nodeRef, edgeRef);
-      getNotifier(Node()).build();
-      getNotifier(Edge()).build();
+      notifier(Node()).build();
+      notifier(Edge()).build();
     }
 
     void erase(const Node& node) {
@@ -303,12 +303,12 @@
 	Parent::firstIn(edge, node);
       }
 
-      getNotifier(Node()).erase(node);
+      notifier(Node()).erase(node);
       Parent::erase(node);
     }
     
     void erase(const Edge& edge) {
-      getNotifier(Edge()).erase(edge);
+      notifier(Edge()).erase(edge);
       Parent::erase(edge);
     }
 
@@ -397,15 +397,15 @@
 
   public:
 
-    NodeNotifier& getNotifier(Node) const {
+    NodeNotifier& notifier(Node) const {
       return node_notifier;
     }
     
-    EdgeNotifier& getNotifier(Edge) const {
+    EdgeNotifier& notifier(Edge) const {
       return edge_notifier;
     }
 
-    UEdgeNotifier& getNotifier(UEdge) const {
+    UEdgeNotifier& notifier(UEdge) const {
       return uedge_notifier;
     }
 
@@ -672,24 +672,24 @@
 
     Node addNode() {
       Node node = Parent::addNode();
-      getNotifier(Node()).add(node);
+      notifier(Node()).add(node);
       return node;
     }
 
     UEdge addEdge(const Node& from, const Node& to) {
       UEdge uedge = Parent::addEdge(from, to);
-      getNotifier(UEdge()).add(uedge);
+      notifier(UEdge()).add(uedge);
       std::vector<Edge> edges;
       edges.push_back(Parent::direct(uedge, true));
       edges.push_back(Parent::direct(uedge, false));      
-      getNotifier(Edge()).add(edges);
+      notifier(Edge()).add(edges);
       return uedge;
     }
     
     void clear() {
-      getNotifier(Edge()).clear();
-      getNotifier(UEdge()).clear();
-      getNotifier(Node()).clear();
+      notifier(Edge()).clear();
+      notifier(UEdge()).clear();
+      notifier(Node()).clear();
       Parent::clear();
     }
 
@@ -697,9 +697,9 @@
     void build(const Graph& graph, NodeRefMap& nodeRef, 
                UEdgeRefMap& uEdgeRef) {
       Parent::build(graph, nodeRef, uEdgeRef);
-      getNotifier(Node()).build();
-      getNotifier(UEdge()).build();
-      getNotifier(Edge()).build();
+      notifier(Node()).build();
+      notifier(UEdge()).build();
+      notifier(Edge()).build();
     }
 
     void erase(const Node& node) {
@@ -716,7 +716,7 @@
 	Parent::firstIn(edge, node);
       }
 
-      getNotifier(Node()).erase(node);
+      notifier(Node()).erase(node);
       Parent::erase(node);
     }
 
@@ -724,8 +724,8 @@
       std::vector<Edge> edges;
       edges.push_back(Parent::direct(uedge, true));
       edges.push_back(Parent::direct(uedge, false));      
-      getNotifier(Edge()).erase(edges);
-      getNotifier(UEdge()).erase(uedge);
+      notifier(Edge()).erase(edges);
+      notifier(UEdge()).erase(uedge);
       Parent::erase(uedge);
     }
 
@@ -823,23 +823,23 @@
 
   public:
 
-    NodeNotifier& getNotifier(Node) const {
+    NodeNotifier& notifier(Node) const {
       return node_notifier;
     }
 
-    ANodeNotifier& getNotifier(ANode) const {
+    ANodeNotifier& notifier(ANode) const {
       return anode_notifier;
     }
 
-    BNodeNotifier& getNotifier(BNode) const {
+    BNodeNotifier& notifier(BNode) const {
       return bnode_notifier;
     }
 
-    EdgeNotifier& getNotifier(Edge) const {
+    EdgeNotifier& notifier(Edge) const {
       return edge_notifier;
     }
 
-    UEdgeNotifier& getNotifier(UEdge) const {
+    UEdgeNotifier& notifier(UEdge) const {
       return uedge_notifier;
     }
 
@@ -1283,36 +1283,36 @@
   
     Node addANode() {
       Node node = Parent::addANode();
-      getNotifier(ANode()).add(node);
-      getNotifier(Node()).add(node);
+      notifier(ANode()).add(node);
+      notifier(Node()).add(node);
       return node;
     }
 
     Node addBNode() {
       Node node = Parent::addBNode();
-      getNotifier(BNode()).add(node);
-      getNotifier(Node()).add(node);
+      notifier(BNode()).add(node);
+      notifier(Node()).add(node);
       return node;
     }
   
     UEdge addEdge(const Node& source, const Node& target) {
       UEdge uedge = Parent::addEdge(source, target);
-      getNotifier(UEdge()).add(uedge);
+      notifier(UEdge()).add(uedge);
     
       std::vector<Edge> edges;
       edges.push_back(Parent::direct(uedge, true));
       edges.push_back(Parent::direct(uedge, false));
-      getNotifier(Edge()).add(edges);
+      notifier(Edge()).add(edges);
     
       return uedge;
     }
 
     void clear() {
-      getNotifier(Edge()).clear();
-      getNotifier(UEdge()).clear();
-      getNotifier(Node()).clear();
-      getNotifier(BNode()).clear();
-      getNotifier(ANode()).clear();
+      notifier(Edge()).clear();
+      notifier(UEdge()).clear();
+      notifier(Node()).clear();
+      notifier(BNode()).clear();
+      notifier(ANode()).clear();
       Parent::clear();
     }
 
@@ -1321,11 +1321,11 @@
     void build(const Graph& graph, ANodeRefMap& aNodeRef, 
                BNodeRefMap& bNodeRef, UEdgeRefMap& uEdgeRef) {
       Parent::build(graph, aNodeRef, bNodeRef, uEdgeRef);
-      getNotifier(ANode()).build();
-      getNotifier(BNode()).build();
-      getNotifier(Node()).build();
-      getNotifier(UEdge()).build();
-      getNotifier(Edge()).build();
+      notifier(ANode()).build();
+      notifier(BNode()).build();
+      notifier(Node()).build();
+      notifier(UEdge()).build();
+      notifier(Edge()).build();
     }
 
     void erase(const Node& node) {
@@ -1336,17 +1336,17 @@
           erase(uedge);
           Parent::firstFromANode(uedge, node);
         }
-        getNotifier(ANode()).erase(node);
+        notifier(ANode()).erase(node);
       } else {
         Parent::firstFromBNode(uedge, node);
         while (uedge != INVALID) {
           erase(uedge);
           Parent::firstFromBNode(uedge, node);
         }
-        getNotifier(BNode()).erase(node);
+        notifier(BNode()).erase(node);
       }
 
-      getNotifier(Node()).erase(node);
+      notifier(Node()).erase(node);
       Parent::erase(node);
     }
     
@@ -1354,8 +1354,8 @@
       std::vector<Edge> edges;
       edges.push_back(Parent::direct(uedge, true));
       edges.push_back(Parent::direct(uedge, false));
-      getNotifier(Edge()).erase(edges);
-      getNotifier(UEdge()).erase(uedge);
+      notifier(Edge()).erase(edges);
+      notifier(UEdge()).erase(uedge);
       Parent::erase(uedge);
     }