| changeset 917 | b4af20d02ae0 |
| parent 492 | 9605e051942f |
| child 713 | 4ac30454f1c1 |
| child 716 | f47b6c94577e |
| child 937 | 17e36e175725 |
| 27:73030d4e18d6 | 28:b0f97049af7b |
|---|---|
204 |
204 |
205 public: |
205 public: |
206 |
206 |
207 typedef Dfs Create; |
207 typedef Dfs Create; |
208 |
208 |
209 ///\name Named template parameters |
209 ///\name Named Template Parameters |
210 |
210 |
211 ///@{ |
211 ///@{ |
212 |
212 |
213 template <class T> |
213 template <class T> |
214 struct SetPredMapTraits : public Traits { |
214 struct SetPredMapTraits : public Traits { |