Changeset 1909:2d806130e700 in lemon-0.x for lemon/bits/alteration_notifier.h

Timestamp:

01/26/06 16:42:13 (18 years ago)

Author:

Mihaly Barasz

Branch:

default

Phase:

public

Convert:

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

Message:

Undir -> U transition

File:

• lemon/bits/alteration_notifier.h (modified) (6 diffs)

lemon/bits/alteration_notifier.h

@@ -443 +443 @@
 
   template <typename _Base> 
-  class AlterableUndirGraphExtender
+  class AlterableUGraphExtender
     : public AlterableGraphExtender<_Base> {
   public:
 
-    typedef AlterableUndirGraphExtender Graph;
+    typedef AlterableUGraphExtender Graph;
     typedef AlterableGraphExtender<_Base> Parent;
 
-    typedef typename Parent::UndirEdge UndirEdge;
+    typedef typename Parent::UEdge UEdge;
 
     /// The edge observer registry.
-    typedef AlterationNotifier<UndirEdge> UndirEdgeNotifier;
-
-  protected:
-
-    mutable UndirEdgeNotifier undir_edge_notifier;
+    typedef AlterationNotifier<UEdge> UEdgeNotifier;
+
+  protected:
+
+    mutable UEdgeNotifier u_edge_notifier;
 
   public:
 
     using Parent::getNotifier;
-    UndirEdgeNotifier& getNotifier(UndirEdge) const {
-      return undir_edge_notifier;
-    }
-
-    ~AlterableUndirGraphExtender() {
-      undir_edge_notifier.clear();
+    UEdgeNotifier& getNotifier(UEdge) const {
+      return u_edge_notifier;
+    }
+
+    ~AlterableUGraphExtender() {
+      u_edge_notifier.clear();
     }
   };
 
   template <typename _Base> 
-  class AlterableUndirEdgeSetExtender
+  class AlterableUEdgeSetExtender
     : public AlterableEdgeSetExtender<_Base> {
   public:
 
-    typedef AlterableUndirEdgeSetExtender Graph;
+    typedef AlterableUEdgeSetExtender Graph;
     typedef AlterableEdgeSetExtender<_Base> Parent;
 
-    typedef typename Parent::UndirEdge UndirEdge;
-
-    typedef AlterationNotifier<UndirEdge> UndirEdgeNotifier;
-
-  protected:
-
-    mutable UndirEdgeNotifier undir_edge_notifier;
+    typedef typename Parent::UEdge UEdge;
+
+    typedef AlterationNotifier<UEdge> UEdgeNotifier;
+
+  protected:
+
+    mutable UEdgeNotifier u_edge_notifier;
 
   public:
 
     using Parent::getNotifier;
-    UndirEdgeNotifier& getNotifier(UndirEdge) const {
-      return undir_edge_notifier;
-    }
-
-    ~AlterableUndirEdgeSetExtender() {
-      undir_edge_notifier.clear();
+    UEdgeNotifier& getNotifier(UEdge) const {
+      return u_edge_notifier;
+    }
+
+    ~AlterableUEdgeSetExtender() {
+      u_edge_notifier.clear();
     }
   };
@@ -502 +502 @@
 
   template <typename _Base>
-  class AlterableUndirBipartiteGraphExtender : public _Base {
+  class AlterableUBipartiteGraphExtender : public _Base {
   public:
 
     typedef _Base Parent;
-    typedef AlterableUndirBipartiteGraphExtender Graph;
+    typedef AlterableUBipartiteGraphExtender Graph;
   
     typedef typename Parent::Node Node;
@@ -512 +512 @@
     typedef typename Parent::UpperNode UpperNode;
     typedef typename Parent::Edge Edge;
-    typedef typename Parent::UndirEdge UndirEdge;
+    typedef typename Parent::UEdge UEdge;
   
   
@@ -519 +519 @@
     typedef AlterationNotifier<UpperNode> UpperNodeNotifier;
     typedef AlterationNotifier<Edge> EdgeNotifier;
-    typedef AlterationNotifier<UndirEdge> UndirEdgeNotifier;
+    typedef AlterationNotifier<UEdge> UEdgeNotifier;
 
   protected:
@@ -527 +527 @@
     mutable UpperNodeNotifier upperNodeNotifier;
     mutable EdgeNotifier edgeNotifier;
-    mutable UndirEdgeNotifier undirEdgeNotifier;
+    mutable UEdgeNotifier uEdgeNotifier;
 
   public:
@@ -547 +547 @@
     }
 
-    UndirEdgeNotifier& getNotifier(UndirEdge) const {
-      return undirEdgeNotifier;
-    }
-
-    ~AlterableUndirBipartiteGraphExtender() {
+    UEdgeNotifier& getNotifier(UEdge) const {
+      return uEdgeNotifier;
+    }
+
+    ~AlterableUBipartiteGraphExtender() {
       nodeNotifier.clear();
       lowerNodeNotifier.clear();
       upperNodeNotifier.clear();
       edgeNotifier.clear();
-      undirEdgeNotifier.clear();
+      uEdgeNotifier.clear();
     }