equal
deleted
inserted
replaced
70 }; |
70 }; |
71 |
71 |
72 }; |
72 }; |
73 |
73 |
74 template <typename _Graph> |
74 template <typename _Graph> |
75 class ItemSetTraits<_Graph, typename _Graph::UndirEdge> { |
75 class ItemSetTraits<_Graph, typename _Graph::UEdge> { |
76 public: |
76 public: |
77 |
77 |
78 typedef _Graph Graph; |
78 typedef _Graph Graph; |
79 |
79 |
80 typedef typename Graph::UndirEdge Item; |
80 typedef typename Graph::UEdge Item; |
81 typedef typename Graph::UndirEdgeIt ItemIt; |
81 typedef typename Graph::UEdgeIt ItemIt; |
82 |
82 |
83 template <typename _Value> |
83 template <typename _Value> |
84 class Map : public Graph::template UndirEdgeMap<_Value> { |
84 class Map : public Graph::template UEdgeMap<_Value> { |
85 public: |
85 public: |
86 typedef typename Graph::template UndirEdgeMap<_Value> Parent; |
86 typedef typename Graph::template UEdgeMap<_Value> Parent; |
87 typedef typename Parent::Value Value; |
87 typedef typename Parent::Value Value; |
88 |
88 |
89 Map(const Graph& _graph) : Parent(_graph) {} |
89 Map(const Graph& _graph) : Parent(_graph) {} |
90 Map(const Graph& _graph, const Value& _value) |
90 Map(const Graph& _graph, const Value& _value) |
91 : Parent(_graph, _value) {} |
91 : Parent(_graph, _value) {} |