| changeset 773 | 71fd280363d5 |
| parent 609 | 4137ef9aacc6 |
| child 725 | 8af504c71ac4 |
| 3:dbd790b96225 | 5:ef654f25259f |
|---|---|
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 { |