doc/graph_io.dox
changeset 1839 b2dfd32b4895
parent 1788 614ce2dd3cba
child 1842 8abf74160dc4
     1.1 --- a/doc/graph_io.dox	Wed Nov 30 13:24:23 2005 +0000
     1.2 +++ b/doc/graph_io.dox	Wed Nov 30 13:24:37 2005 +0000
     1.3 @@ -442,15 +442,17 @@
     1.4  
     1.5  \code
     1.6  UndirListGraph network;
     1.7 -UndirListGraph::UndirEdgeSet<double> capacity;
     1.8 +UndirListGraph::UndirEdgeMap<double> capacity;
     1.9  NewEdgeSetAdaptor<UndirListGraph> traffic(network);
    1.10  NewEdgeSetAdaptor<UndirListGraph>::EdgeSet<double> request(network);
    1.11  
    1.12  LemonReader reader(std::cin);
    1.13 -NodeSetReader nodesetReader(reader, network);
    1.14 -UndirEdgeSetReader undirEdgesetReader(reader, network, nodesetReader);
    1.15 +NodeSetReader<UndirListGraph> nodesetReader(reader, network);
    1.16 +UndirEdgeSetReader<UndirListGraph> 
    1.17 +  undirEdgesetReader(reader, network, nodesetReader);
    1.18  undirEdgesetReader.readEdgeMap("capacity", capacity);
    1.19 -EdgeSetReader edgesetReader(reader, traffic, nodesetReader);
    1.20 +EdgeSetReader<NewEdgeSetAdaptor<UndirListGraph> > 
    1.21 +  edgesetReader(reader, traffic, nodesetReader);
    1.22  edgesetReader.readEdgeMap("request", request);
    1.23  
    1.24  reader.run();