branch | gui |
changeset 59 | c38925cc6a4d |
parent 55 | e4ee805ca5fc |
child 62 | 80eefca04b1e |
7:13803dc1fbb1 | 8:88e98611fa85 |
---|---|
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::changeNodeRadius (std::string mapname, Graph::Node node) |
6 int GraphDisplayerCanvas::changeNodeRadius (std::string mapname, Graph::Node node) |
7 { |
7 { |
8 Graph::NodeMap<double> * actual_map; |
8 Graph::NodeMap<double> * actual_map; |