| changeset 454 | f599fa651202 |
| parent 416 | 76287c8caa26 |
| child 455 | 5a1e9fdcfd3a |
| 1:5a0a229fa7a9 | 3:47e53c126973 |
|---|---|
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; |