equal
deleted
inserted
replaced
37 /// |
37 /// |
38 /// The \c GraphReader class provides the graph input. |
38 /// The \c GraphReader class provides the graph input. |
39 /// Before you read this documentation it might be useful to read the general |
39 /// Before you read this documentation it might be useful to read the general |
40 /// description of \ref graph-io-page "Graph Input-Output". |
40 /// description of \ref graph-io-page "Graph Input-Output". |
41 /// |
41 /// |
42 /// The file to be read may contain several maps and labeled nodes or |
42 /// The file to be read may contain several maps and labeled |
43 /// edges. |
43 /// (designated) nodes or edges. |
44 /// |
44 /// |
45 /// If you read a graph you need not read all the maps and items just those |
45 /// If you read a graph you need not read all the maps and items just those |
46 /// that you need. The interface of the \c GraphReader is very similar to |
46 /// that you need. The interface of the \c GraphReader is very similar to |
47 /// the GraphWriter but the reading method does not depend on the order the |
47 /// the GraphWriter but the reading method does not depend on the order the |
48 /// given commands (i.e. you don't have to insist on the order in which the |
48 /// given commands (i.e. you don't have to insist on the order in which the |