equal
deleted
inserted
replaced
53 else f_name = "."; |
53 else f_name = "."; |
54 f_name += "/dijkstra_test.lgf"; |
54 f_name += "/dijkstra_test.lgf"; |
55 |
55 |
56 std::ifstream input(f_name.c_str()); |
56 std::ifstream input(f_name.c_str()); |
57 check(input, "Input file '" << f_name << "' not found."); |
57 check(input, "Input file '" << f_name << "' not found."); |
58 readGraph(input, graph, length, start); |
58 GraphReader<Graph>(input, graph). |
|
59 readEdgeMap("length", length). |
|
60 readNode("source", start). |
|
61 run(); |
59 |
62 |
60 { |
63 { |
61 std::cerr << "Checking Bin Heap" << std::endl; |
64 std::cerr << "Checking Bin Heap" << std::endl; |
62 |
65 |
63 typedef BinHeap<Item, Prio, ItemIntMap> IntHeap; |
66 typedef BinHeap<Item, Prio, ItemIntMap> IntHeap; |