equal
deleted
inserted
replaced
1239 /// \brief \ref named-templ-param "Named parameter" for setting |
1239 /// \brief \ref named-templ-param "Named parameter" for setting |
1240 /// ReachedMap type |
1240 /// ReachedMap type |
1241 /// |
1241 /// |
1242 /// \ref named-templ-param "Named parameter" for setting ReachedMap type |
1242 /// \ref named-templ-param "Named parameter" for setting ReachedMap type |
1243 template <class T> |
1243 template <class T> |
1244 struct DefReachedMap : public Dfs< Graph, DefReachedMapTraits<T> > { |
1244 struct DefReachedMap : public DfsVisit< Graph, Visitor, |
1245 typedef Dfs< Graph, DefReachedMapTraits<T> > Create; |
1245 DefReachedMapTraits<T> > { |
|
1246 typedef DfsVisit< Graph, Visitor, DefReachedMapTraits<T> > Create; |
1246 }; |
1247 }; |
1247 ///@} |
1248 ///@} |
1248 |
1249 |
1249 public: |
1250 public: |
1250 |
1251 |