| changeset 536 | 97674155c135 |
| parent 440 | 88ed40ad0d4f |
| parent 453 | c246659c8b19 |
| child 580 | 2313edd0db0b |
| 2:38b2f0d3486a | 4:018f0185cb97 |
|---|---|
171 return Parent::source(e); |
171 return Parent::source(e); |
172 } |
172 } |
173 |
173 |
174 }; |
174 }; |
175 |
175 |
176 |
|
177 /// \ingroup digraphbits |
|
178 /// |
|
179 /// \brief Extender for the GraphAdaptors |
|
180 template <typename _Graph> |
176 template <typename _Graph> |
181 class GraphAdaptorExtender : public _Graph { |
177 class GraphAdaptorExtender : public _Graph { |
182 public: |
178 public: |
183 |
179 |
184 typedef _Graph Parent; |
180 typedef _Graph Parent; |