equal
deleted
inserted
replaced
141 |
141 |
142 |
142 |
143 /// \brief The graph writer class. |
143 /// \brief The graph writer class. |
144 /// |
144 /// |
145 /// The writer class for the graph output. |
145 /// The writer class for the graph output. |
146 /// \see graph-io-page |
146 /// \see \ref GraphReader |
|
147 /// \see \ref graph-io-page |
147 template <typename _Graph, typename _WriterTraits = DefaultWriterTraits> |
148 template <typename _Graph, typename _WriterTraits = DefaultWriterTraits> |
148 class GraphWriter { |
149 class GraphWriter { |
149 public: |
150 public: |
150 |
151 |
151 typedef _Graph Graph; |
152 typedef _Graph Graph; |