equal
deleted
inserted
replaced
107 |
107 |
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 |
|
113 void addNewNodeMap(); |
|
114 ///creates a new Edgemap |
|
115 void addNewEdgeMap(); |
|
116 |
112 private: |
117 private: |
113 ///Deletes the given element. |
118 ///Deletes the given element. |
114 void deleteItem(NodeIt); |
119 void deleteItem(NodeIt); |
115 ///Deletes the given element. |
120 ///Deletes the given element. |
116 void deleteItem(EdgeIt); |
121 void deleteItem(EdgeIt); |