graph_displayer_canvas.h
branchgui
changeset 41 06f1f9a8d51f
parent 40 cebacea4f965
child 46 121452cc4096
     1.1 --- a/graph_displayer_canvas.h	Tue Jul 26 18:14:23 2005 +0000
     1.2 +++ b/graph_displayer_canvas.h	Tue Jul 26 21:19:41 2005 +0000
     1.3 @@ -110,9 +110,9 @@
     1.4    int getActualTool();
     1.5  
     1.6    ///creates a new Nodemap
     1.7 -  void addNewNodeMap();
     1.8 +  void addNewNodeMap(double,std::string);
     1.9    ///creates a new Edgemap
    1.10 -  void addNewEdgeMap();
    1.11 +  void addNewEdgeMap(double,std::string);
    1.12  
    1.13  private:
    1.14    ///Deletes the given element.