| changeset 1713 | 49d22d34d95f |
| parent 1709 | a323456bf7c8 |
| child 1749 | c13f6b4aa40e |
| 13:06cd845df6cf | 14:68a55869c13c |
|---|---|
212 if(!_processed) { |
212 if(!_processed) { |
213 local_processed = true; |
213 local_processed = true; |
214 _processed = Traits::createProcessedMap(*G); |
214 _processed = Traits::createProcessedMap(*G); |
215 } |
215 } |
216 } |
216 } |
217 |
217 |
218 public : |
218 protected: |
219 |
|
220 Dfs() {} |
|
221 |
|
222 public: |
|
219 |
223 |
220 typedef Dfs Create; |
224 typedef Dfs Create; |
221 |
225 |
222 ///\name Named template parameters |
226 ///\name Named template parameters |
223 |
227 |