equal
deleted
inserted
replaced
208 }; |
208 }; |
209 |
209 |
210 /// \brief The graph reader class. |
210 /// \brief The graph reader class. |
211 /// |
211 /// |
212 /// The reader class for the graph input. |
212 /// The reader class for the graph input. |
213 /// \see graph-io-page |
213 /// \see \ref GraphWriter |
|
214 /// \see \ref graph-io-page |
214 template <typename _Graph, typename _ReaderTraits = DefaultReaderTraits> |
215 template <typename _Graph, typename _ReaderTraits = DefaultReaderTraits> |
215 class GraphReader { |
216 class GraphReader { |
216 public: |
217 public: |
217 |
218 |
218 typedef _Graph Graph; |
219 typedef _Graph Graph; |