Changeset 1820:22099ef840d7 in lemon-0.x for lemon/bits/alteration_notifier.h

Timestamp:

11/21/05 18:48:00 (19 years ago)

Author:

Balazs Dezso

Branch:

default

Phase:

public

Convert:

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

Message:

Undir Bipartite Graph/Full? and Smart/ without concept, doc and concept
checking

File:

• lemon/bits/alteration_notifier.h (modified) (1 diff)

lemon/bits/alteration_notifier.h

@@ -440 +440 @@
     }
   };
+
+
+  template <typename _Base>
+  class AlterableUndirBipartiteGraphExtender : public _Base {
+  public:
+
+    typedef _Base Parent;
+    typedef AlterableUndirBipartiteGraphExtender Graph;
+  
+    typedef typename Parent::Node Node;
+    typedef typename Parent::LowerNode LowerNode;
+    typedef typename Parent::UpperNode UpperNode;
+    typedef typename Parent::Edge Edge;
+    typedef typename Parent::UndirEdge UndirEdge;
+  
+  
+    typedef AlterationNotifier<Node> NodeNotifier;
+    typedef AlterationNotifier<LowerNode> LowerNodeNotifier;
+    typedef AlterationNotifier<UpperNode> UpperNodeNotifier;
+    typedef AlterationNotifier<Edge> EdgeNotifier;
+    typedef AlterationNotifier<UndirEdge> UndirEdgeNotifier;
+
+  protected:
+
+    mutable NodeNotifier nodeNotifier;
+    mutable LowerNodeNotifier lowerNodeNotifier;
+    mutable UpperNodeNotifier upperNodeNotifier;
+    mutable EdgeNotifier edgeNotifier;
+    mutable UndirEdgeNotifier undirEdgeNotifier;
+
+  public:
+
+    NodeNotifier& getNotifier(Node) const {
+      return nodeNotifier;
+    }
+
+    LowerNodeNotifier& getNotifier(LowerNode) const {
+      return lowerNodeNotifier;
+    }
+
+    UpperNodeNotifier& getNotifier(UpperNode) const {
+      return upperNodeNotifier;
+    }
+
+    EdgeNotifier& getNotifier(Edge) const {
+      return edgeNotifier;
+    }
+
+    UndirEdgeNotifier& getNotifier(UndirEdge) const {
+      return undirEdgeNotifier;
+    }
+
+    ~AlterableUndirBipartiteGraphExtender() {
+      nodeNotifier.clear();
+      lowerNodeNotifier.clear();
+      upperNodeNotifier.clear();
+      edgeNotifier.clear();
+      undirEdgeNotifier.clear();
+    }
+
+  };
   
 /// @}