equal
deleted
inserted
replaced
179 public: |
179 public: |
180 |
180 |
181 typedef _Graph Graph; |
181 typedef _Graph Graph; |
182 typedef GraphAdaptorExtender Adaptor; |
182 typedef GraphAdaptorExtender Adaptor; |
183 |
183 |
|
184 typedef True UndirectedTag; |
|
185 |
184 typedef typename Parent::Node Node; |
186 typedef typename Parent::Node Node; |
185 typedef typename Parent::Arc Arc; |
187 typedef typename Parent::Arc Arc; |
186 typedef typename Parent::Edge Edge; |
188 typedef typename Parent::Edge Edge; |
187 |
189 |
188 // Graph extension |
190 // Graph extension |