changeset 644 | 8d289c89d43e |
parent 503 | 9605e051942f |
child 713 | 4ac30454f1c1 |
child 716 | f47b6c94577e |
child 959 | 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 { |