equal
deleted
inserted
replaced
118 for(int j=0;j<(int)(ch2var[ polishform[i] ].length());j++) |
118 for(int j=0;j<(int)(ch2var[ polishform[i] ].length());j++) |
119 { |
119 { |
120 def_val_ch[j]=ch2var[ polishform[i] ][j]; |
120 def_val_ch[j]=ch2var[ polishform[i] ][j]; |
121 } |
121 } |
122 polishstack.push(atof(def_val_ch)); |
122 polishstack.push(atof(def_val_ch)); |
|
123 delete def_val_ch; |
123 } |
124 } |
124 operation=false; |
125 operation=false; |
125 break; |
126 break; |
126 } |
127 } |
127 if(operation) |
128 if(operation) |
162 //furthermore it is done by signals |
163 //furthermore it is done by signals |
163 //mytab.registerNewEdgeMap(mapname); |
164 //mytab.registerNewEdgeMap(mapname); |
164 |
165 |
165 //display it |
166 //display it |
166 //gdc.changeEdgeText(mapname); |
167 //gdc.changeEdgeText(mapname); |
|
168 |
|
169 //delete emptr; |
167 } |
170 } |
168 else //!edge.get_active() |
171 else //!edge.get_active() |
169 { |
172 { |
170 //create the new map |
173 //create the new map |
171 Graph::NodeMap<double> * emptr=new Graph::NodeMap<double> (mytab.mapstorage.graph); |
174 Graph::NodeMap<double> * emptr=new Graph::NodeMap<double> (mytab.mapstorage.graph); |
202 for(int j=0;j<(int)(ch2var[ polishform[i] ].length());j++) |
205 for(int j=0;j<(int)(ch2var[ polishform[i] ].length());j++) |
203 { |
206 { |
204 def_val_ch[j]=ch2var[ polishform[i] ][j]; |
207 def_val_ch[j]=ch2var[ polishform[i] ][j]; |
205 } |
208 } |
206 polishstack.push(atof(def_val_ch)); |
209 polishstack.push(atof(def_val_ch)); |
|
210 delete def_val_ch; |
207 } |
211 } |
208 operation=false; |
212 operation=false; |
209 break; |
213 break; |
210 } |
214 } |
211 if(operation) |
215 if(operation) |
246 //furthermore it is done by signals |
250 //furthermore it is done by signals |
247 //mytab.registerNewNodeMap(mapname); |
251 //mytab.registerNewNodeMap(mapname); |
248 |
252 |
249 //display it |
253 //display it |
250 //gdc.changeNodeText(mapname); |
254 //gdc.changeNodeText(mapname); |
|
255 |
|
256 //delete emptr; |
251 } |
257 } |
252 if(!abortion) |
258 if(!abortion) |
253 { |
259 { |
254 name.set_text(""); |
260 name.set_text(""); |
255 default_value.set_text("0"); |
261 default_value.set_text("0"); |