equal
deleted
inserted
replaced
1224 /// This utility reads an \ref lgf-format "LGF" file. |
1224 /// This utility reads an \ref lgf-format "LGF" file. |
1225 /// |
1225 /// |
1226 /// It can be used almost the same way as \c DigraphReader. |
1226 /// It can be used almost the same way as \c DigraphReader. |
1227 /// The only difference is that this class can handle edges and |
1227 /// The only difference is that this class can handle edges and |
1228 /// edge maps as well as arcs and arc maps. |
1228 /// edge maps as well as arcs and arc maps. |
|
1229 /// |
|
1230 /// The columns in the \c \@edges (or \c \@arcs) section are the |
|
1231 /// edge maps. However, if there are two maps with the same name |
|
1232 /// prefixed with \c '+' and \c '-', then these can be read into an |
|
1233 /// arc map. Similarly, an attribute can be read into an arc, if |
|
1234 /// it's value is an edge label prefixed with \c '+' or \c '-'. |
1229 template <typename _Graph> |
1235 template <typename _Graph> |
1230 class GraphReader { |
1236 class GraphReader { |
1231 public: |
1237 public: |
1232 |
1238 |
1233 typedef _Graph Graph; |
1239 typedef _Graph Graph; |