167 int maxBNodeId() const { return graph->maxBNodeId(); } |
167 int maxBNodeId() const { return graph->maxBNodeId(); } |
168 int maxEdgeId() const { return graph->maxEdgeId(); } |
168 int maxEdgeId() const { return graph->maxEdgeId(); } |
169 int maxUEdgeId() const { return graph->maxEdgeId(); } |
169 int maxUEdgeId() const { return graph->maxEdgeId(); } |
170 |
170 |
171 typedef typename ItemSetTraits<Graph, Node>::ItemNotifier NodeNotifier; |
171 typedef typename ItemSetTraits<Graph, Node>::ItemNotifier NodeNotifier; |
172 NodeNotifier& getNotifier(Node) const { |
172 NodeNotifier& notifier(Node) const { |
173 return graph->getNotifier(Node()); |
173 return graph->notifier(Node()); |
174 } |
174 } |
175 |
175 |
176 typedef typename ItemSetTraits<Graph, ANode>::ItemNotifier ANodeNotifier; |
176 typedef typename ItemSetTraits<Graph, ANode>::ItemNotifier ANodeNotifier; |
177 ANodeNotifier& getNotifier(ANode) const { |
177 ANodeNotifier& notifier(ANode) const { |
178 return graph->getNotifier(ANode()); |
178 return graph->notifier(ANode()); |
179 } |
179 } |
180 |
180 |
181 typedef typename ItemSetTraits<Graph, BNode>::ItemNotifier BNodeNotifier; |
181 typedef typename ItemSetTraits<Graph, BNode>::ItemNotifier BNodeNotifier; |
182 BNodeNotifier& getNotifier(BNode) const { |
182 BNodeNotifier& notifier(BNode) const { |
183 return graph->getNotifier(BNode()); |
183 return graph->notifier(BNode()); |
184 } |
184 } |
185 |
185 |
186 typedef typename ItemSetTraits<Graph, Edge>::ItemNotifier EdgeNotifier; |
186 typedef typename ItemSetTraits<Graph, Edge>::ItemNotifier EdgeNotifier; |
187 EdgeNotifier& getNotifier(Edge) const { |
187 EdgeNotifier& notifier(Edge) const { |
188 return graph->getNotifier(Edge()); |
188 return graph->notifier(Edge()); |
189 } |
189 } |
190 |
190 |
191 typedef typename ItemSetTraits<Graph, UEdge>::ItemNotifier UEdgeNotifier; |
191 typedef typename ItemSetTraits<Graph, UEdge>::ItemNotifier UEdgeNotifier; |
192 UEdgeNotifier& getNotifier(UEdge) const { |
192 UEdgeNotifier& notifier(UEdge) const { |
193 return graph->getNotifier(UEdge()); |
193 return graph->notifier(UEdge()); |
194 } |
194 } |
195 |
195 |
196 template <typename _Value> |
196 template <typename _Value> |
197 class NodeMap : public Graph::template NodeMap<_Value> { |
197 class NodeMap : public Graph::template NodeMap<_Value> { |
198 public: |
198 public: |
369 |
369 |
370 int aNodeNum() const { return Parent::bNodeNum(); } |
370 int aNodeNum() const { return Parent::bNodeNum(); } |
371 int bNodeNum() const { return Parent::aNodeNum(); } |
371 int bNodeNum() const { return Parent::aNodeNum(); } |
372 |
372 |
373 typedef typename Parent::BNodeNotifier ANodeNotifier; |
373 typedef typename Parent::BNodeNotifier ANodeNotifier; |
374 ANodeNotifier& getNotifier(ANode) const { |
374 ANodeNotifier& notifier(ANode) const { |
375 return Parent::getNotifier(typename Parent::BNode()); |
375 return Parent::notifier(typename Parent::BNode()); |
376 } |
376 } |
377 |
377 |
378 typedef typename Parent::ANodeNotifier BNodeNotifier; |
378 typedef typename Parent::ANodeNotifier BNodeNotifier; |
379 BNodeNotifier& getNotifier(BNode) const { |
379 BNodeNotifier& notifier(BNode) const { |
380 return Parent::getNotifier(typename Parent::ANode()); |
380 return Parent::notifier(typename Parent::ANode()); |
381 } |
381 } |
382 |
382 |
383 template <typename _Value> |
383 template <typename _Value> |
384 class ANodeMap : public Graph::template BNodeMap<_Value> { |
384 class ANodeMap : public Graph::template BNodeMap<_Value> { |
385 public: |
385 public: |