changeset 705 | 39a5b48bcace |
parent 559 | c5fd2d996909 |
child 713 | 4ac30454f1c1 |
child 716 | f47b6c94577e |
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 { |