branch | 1.1 |
changeset 723 | 1248d23d6e93 |
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 { |