Changeset 2384:805c5a2a36dd in lemon-0.x for lemon/bits/edge_set_extender.h

Timestamp:

03/01/07 18:14:24 (17 years ago)

Author:

Balazs Dezso

Branch:

default

Phase:

public

Convert:

svn:c9d7d8f5-90d6-0310-b91f-818b3a526b0e/lemon/trunk@3215

Message:

getNotifier to notifier renaming

File:

• lemon/bits/edge_set_extender.h (modified) (4 diffs)

lemon/bits/edge_set_extender.h

@@ -82 +82 @@
   public:
 
-    using Parent::getNotifier;
+    using Parent::notifier;
 
     /// \brief Gives back the edge alteration notifier.
     ///
     /// Gives back the edge alteration notifier.
-    EdgeNotifier& getNotifier(Edge) const {
+    EdgeNotifier& notifier(Edge) const {
       return edge_notifier;
     }
@@ -247 +247 @@
     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();
+      notifier(Edge()).clear();
       Parent::clear();
     }
 
     void erase(const Edge& edge) {
-      getNotifier(Edge()).erase(edge);
+      notifier(Edge()).erase(edge);
       Parent::erase(edge);
     }
@@ -341 +341 @@
   public:
 
-    using Parent::getNotifier;
+    using Parent::notifier;
     
-    EdgeNotifier& getNotifier(Edge) const {
+    EdgeNotifier& notifier(Edge) const {
       return edge_notifier;
     }
 
-    UEdgeNotifier& getNotifier(UEdge) const {
+    UEdgeNotifier& notifier(UEdge) const {
       return uedge_notifier;
     }
@@ -590 +590 @@
     UEdge addEdge(const Node& from, const Node& to) {
       UEdge uedge = Parent::addEdge(from, to);
-      getNotifier(UEdge()).add(uedge);
-      getNotifier(Edge()).add(Parent::direct(uedge, true));
-      getNotifier(Edge()).add(Parent::direct(uedge, false));
+      notifier(UEdge()).add(uedge);
+      notifier(Edge()).add(Parent::direct(uedge, true));
+      notifier(Edge()).add(Parent::direct(uedge, false));
       return uedge;
     }
     
     void clear() {
-      getNotifier(Edge()).clear();
-      getNotifier(UEdge()).clear();
+      notifier(Edge()).clear();
+      notifier(UEdge()).clear();
       Parent::clear();
     }
 
     void erase(const UEdge& uedge) {
-      getNotifier(Edge()).erase(Parent::direct(uedge, true));
-      getNotifier(Edge()).erase(Parent::direct(uedge, false));
-      getNotifier(UEdge()).erase(uedge);
+      notifier(Edge()).erase(Parent::direct(uedge, true));
+      notifier(Edge()).erase(Parent::direct(uedge, false));
+      notifier(UEdge()).erase(uedge);
       Parent::erase(uedge);
     }