| changeset 932 | ade3cdb9b45d | 
| parent 258 | 94bafec4f56f | 
| 3:4513c5123405 | 4:5fd4bf56ea6a | 
|---|---|
8 #include <time_measure.h>  | 
8 #include <time_measure.h>  | 
9  | 
9  | 
10 #include <bin_heap.h>  | 
10 #include <bin_heap.h>  | 
11 #include <fib_heap.h>  | 
11 #include <fib_heap.h>  | 
12  | 
12  | 
13 using namespace hugo;  | 
13 using namespace lemon;  | 
14  | 
14  | 
15 int main(int, char **) {  | 
15 int main(int, char **) {  | 
16 typedef SmartGraph::Node Node;  | 
16 typedef SmartGraph::Node Node;  | 
17  | 
17  | 
18 SmartGraph G;  | 
18 SmartGraph G;  |