graph_displayer_canvas.h
branchgui
changeset 16 319a4fa65e05
parent 14 39945305a572
child 19 164783ceb9be
     1.1 --- a/graph_displayer_canvas.h	Wed Jun 15 10:19:44 2005 +0000
     1.2 +++ b/graph_displayer_canvas.h	Wed Jun 15 11:15:01 2005 +0000
     1.3 @@ -73,6 +73,8 @@
     1.4    void delete_item(NodeIt);
     1.5    ///Deletes the given element.
     1.6    void delete_item(EdgeIt);
     1.7 +  ///Deletes the given element.
     1.8 +  void delete_item(Graph::Edge);
     1.9  
    1.10    ///The graph, on which we work
    1.11    Graph g;