graph_displayer_canvas.h
branchgui
changeset 17 c95aff79e893
parent 14 39945305a572
child 19 164783ceb9be
equal deleted inserted replaced
7:401f9cabb78e 8:2bcaab9a0544
    71 
    71 
    72   ///Deletes the given element.
    72   ///Deletes the given element.
    73   void delete_item(NodeIt);
    73   void delete_item(NodeIt);
    74   ///Deletes the given element.
    74   ///Deletes the given element.
    75   void delete_item(EdgeIt);
    75   void delete_item(EdgeIt);
       
    76   ///Deletes the given element.
       
    77   void delete_item(Graph::Edge);
    76 
    78 
    77   ///The graph, on which we work
    79   ///The graph, on which we work
    78   Graph g;
    80   Graph g;
    79 
    81 
    80   ///Map of nodes of graph
    82   ///Map of nodes of graph