equal
deleted
inserted
replaced
53 std::cout << "Output file: coloring.eps" << std::endl; |
53 std::cout << "Output file: coloring.eps" << std::endl; |
54 |
54 |
55 Graph graph; |
55 Graph graph; |
56 |
56 |
57 UGraphReader<Graph> reader("coloring.lgf", graph); |
57 UGraphReader<Graph> reader("coloring.lgf", graph); |
58 Graph::NodeMap<xy<double> > coords(graph); |
58 Graph::NodeMap<dim2::Point<double> > coords(graph); |
59 reader.readNodeMap("coords", coords); |
59 reader.readNodeMap("coords", coords); |
60 |
60 |
61 reader.run(); |
61 reader.run(); |
62 |
62 |
63 Graph::NodeMap<int> color(graph, -2); |
63 Graph::NodeMap<int> color(graph, -2); |