branch | gui |
changeset 59 | c38925cc6a4d |
parent 55 | e4ee805ca5fc |
child 62 | 80eefca04b1e |
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; |