| changeset 1031 | ae0b056593a7 |
| parent 877 | 141f9c0db4a3 |
| parent 882 | ece1f8a3052d |
| child 966 | c8fce9beb46a |
| 5:6ea45d22021c | 8:257987a4505b |
|---|---|
278 |
278 |
279 public: |
279 public: |
280 |
280 |
281 typedef EdgeSetExtender Graph; |
281 typedef EdgeSetExtender Graph; |
282 |
282 |
283 typedef True UndirectedTag; |
|
284 |
|
283 typedef typename Parent::Node Node; |
285 typedef typename Parent::Node Node; |
284 typedef typename Parent::Arc Arc; |
286 typedef typename Parent::Arc Arc; |
285 typedef typename Parent::Edge Edge; |
287 typedef typename Parent::Edge Edge; |
286 |
288 |
287 int maxId(Node) const { |
289 int maxId(Node) const { |