| changeset 802 | 0e30f63d45d0 |
| parent 550 | c5fd2d996909 |
| 25:c42a1938377e | 26:1c84deb82bea |
|---|---|
284 |
284 |
285 public: |
285 public: |
286 |
286 |
287 typedef Dijkstra Create; |
287 typedef Dijkstra Create; |
288 |
288 |
289 ///\name Named template parameters |
289 ///\name Named Template Parameters |
290 |
290 |
291 ///@{ |
291 ///@{ |
292 |
292 |
293 template <class T> |
293 template <class T> |
294 struct SetPredMapTraits : public Traits { |
294 struct SetPredMapTraits : public Traits { |