| changeset 1634 | 910b1bcb7d05 |
| parent 1614 | 350c1d8bb7cc |
| child 1643 | 9285f3777553 |
| 11:ef721efb027a | 12:f66222b0eb5d |
|---|---|
1 #include "graph_displayer_canvas.h" |
1 #include "graph_displayer_canvas.h" |
2 #include "broken_edge.h" |
2 #include "broken_edge.h" |
3 #include <math.h> |
3 #include <cmath> |
4 |
4 |
5 |
5 |
6 int GraphDisplayerCanvas::changeEdgeWidth (std::string mapname, Graph::Edge edge) |
6 int GraphDisplayerCanvas::changeEdgeWidth (std::string mapname, Graph::Edge edge) |
7 { |
7 { |
8 Graph::EdgeMap<double> * actual_map; |
8 Graph::EdgeMap<double> * actual_map; |