equal
deleted
inserted
replaced
395 reader.addNode("target", t); |
395 reader.addNode("target", t); |
396 reader.run(); |
396 reader.run(); |
397 } |
397 } |
398 |
398 |
399 /// Ready to use writer function. |
399 /// Ready to use writer function. |
400 template<typename Graph, typename CapacityMap, typename CostMap> |
400 template<typename Graph, typename CapacityMap> |
401 void writeGraph(std::ostream& os, const Graph &g, |
401 void writeGraph(std::ostream& os, const Graph &g, |
402 const CapacityMap& capacity, const typename Graph::Node &s, |
402 const CapacityMap& capacity, const typename Graph::Node &s, |
403 const typename Graph::Node &t) { |
403 const typename Graph::Node &t) { |
404 GraphWriter<Graph> reader(os, g); |
404 GraphWriter<Graph> reader(os, g); |
405 IdMap<Graph, typename Graph::Node> nodeIdMap(g); |
405 IdMap<Graph, typename Graph::Node> nodeIdMap(g); |