changeset 201 9757e3d9bfeb parent 197 5893bacaa720 child 209 765619b7cbb2
equal inserted replaced
20:70f34495c5fb 21:412ba81372ca
  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;