equal
deleted
inserted
replaced
108 public: |
108 public: |
109 ///\return the actual tool in hand |
109 ///\return the actual tool in hand |
110 int getActualTool(); |
110 int getActualTool(); |
111 |
111 |
112 ///creates a new Nodemap |
112 ///creates a new Nodemap |
113 void addNewNodeMap(); |
113 void addNewNodeMap(double,std::string); |
114 ///creates a new Edgemap |
114 ///creates a new Edgemap |
115 void addNewEdgeMap(); |
115 void addNewEdgeMap(double,std::string); |
116 |
116 |
117 private: |
117 private: |
118 ///Deletes the given element. |
118 ///Deletes the given element. |
119 void deleteItem(NodeIt); |
119 void deleteItem(NodeIt); |
120 ///Deletes the given element. |
120 ///Deletes the given element. |