Changeset 1989:d276e88aa48a in lemon-0.x for lemon/traits.h

Timestamp:

03/01/06 11:04:47 (18 years ago)

Author:

Balazs Dezso

Branch:

default

Phase:

public

Convert:

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

Message:

Traits for alteration notifiers
SplitGraph? is temporarly deleted

File:

• lemon/traits.h (modified) (10 diffs)

lemon/traits.h

@@ -30 +30 @@
   class ItemSetTraits {};
   
+
+  template <typename Graph, typename Enable = void>
+  struct NodeNotifierIndicator {
+    typedef InvalidType Type;
+  };
+  template <typename Graph>
+  struct NodeNotifierIndicator<
+    Graph, 
+    typename enable_if<typename Graph::NodeNotifier::Notifier, void>::type
+  > { 
+    typedef typename Graph::NodeNotifier Type;
+  };
+
   template <typename _Graph>
   class ItemSetTraits<_Graph, typename _Graph::Node> {
@@ -39 +52 @@
     typedef typename Graph::NodeIt ItemIt;
 
+    typedef typename NodeNotifierIndicator<Graph>::Type ItemNotifier;
+
     template <typename _Value>
     class Map : public Graph::template NodeMap<_Value> {
@@ -48 +63 @@
       Map(const Graph& _graph, const Value& _value) 
         : Parent(_graph, _value) {}
-    };
-
+
+     };
+
+  };
+
+  template <typename Graph, typename Enable = void>
+  struct EdgeNotifierIndicator {
+    typedef InvalidType Type;
+  };
+  template <typename Graph>
+  struct EdgeNotifierIndicator<
+    Graph, 
+    typename enable_if<typename Graph::EdgeNotifier::Notifier, void>::type
+  > { 
+    typedef typename Graph::EdgeNotifier Type;
   };
 
@@ -61 +89 @@
     typedef typename Graph::EdgeIt ItemIt;
 
+    typedef typename EdgeNotifierIndicator<Graph>::Type ItemNotifier;
+
     template <typename _Value>
     class Map : public Graph::template EdgeMap<_Value> {
@@ -72 +102 @@
     };
 
+  };
+
+  template <typename Graph, typename Enable = void>
+  struct UEdgeNotifierIndicator {
+    typedef InvalidType Type;
+  };
+  template <typename Graph>
+  struct UEdgeNotifierIndicator<
+    Graph, 
+    typename enable_if<typename Graph::UEdgeNotifier::Notifier, void>::type
+  > { 
+    typedef typename Graph::UEdgeNotifier Type;
   };
 
@@ -83 +125 @@
     typedef typename Graph::UEdgeIt ItemIt;
 
+    typedef typename UEdgeNotifierIndicator<Graph>::Type ItemNotifier;
+
     template <typename _Value>
     class Map : public Graph::template UEdgeMap<_Value> {
@@ -96 +140 @@
   };
 
+  template <typename Graph, typename Enable = void>
+  struct ANodeNotifierIndicator {
+    typedef InvalidType Type;
+  };
+  template <typename Graph>
+  struct ANodeNotifierIndicator<
+    Graph, 
+    typename enable_if<typename Graph::ANodeNotifier::Notifier, void>::type
+  > { 
+    typedef typename Graph::ANodeNotifier Type;
+  };
 
   template <typename _Graph>
@@ -106 +161 @@
     typedef typename Graph::ANodeIt ItemIt;
 
+    typedef typename ANodeNotifierIndicator<Graph>::Type ItemNotifier;
+
     template <typename _Value>
     class Map : public Graph::template ANodeMap<_Value> {
@@ -117 +174 @@
     };
 
+  };
+
+  template <typename Graph, typename Enable = void>
+  struct BNodeNotifierIndicator {
+    typedef InvalidType Type;
+  };
+  template <typename Graph>
+  struct BNodeNotifierIndicator<
+    Graph, 
+    typename enable_if<typename Graph::BNodeNotifier::Notifier, void>::type
+  > { 
+    typedef typename Graph::BNodeNotifier Type;
   };
 
@@ -127 +196 @@
     typedef typename Graph::BNode Item;
     typedef typename Graph::BNodeIt ItemIt;
+
+    typedef typename BNodeNotifierIndicator<Graph>::Type ItemNotifier;
 
     template <typename _Value>