| changeset 917 | b4af20d02ae0 |
| 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 { |