| changeset 1632 | 93ac8c521fe5 |
| parent 1614 | 350c1d8bb7cc |
| child 1643 | 9285f3777553 |
| 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; |