graph_displayer_canvas-edge.cc
branchgui
changeset 61 d5668800f774
parent 55 e4ee805ca5fc
child 62 80eefca04b1e
equal deleted inserted replaced
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;