| 289 | } |
| 290 | |
| 291 | void prune1 (const Variable& alpha) |
| 292 | { |
| 293 | int i, n = strlen( var_names_ext ); |
| 294 | ASSERT (n+1 >= -alpha.level(), "wrong variable"); |
| 295 | |
| 296 | char * newvarnames = new char [-alpha.level() + 2]; |
| 297 | for ( i = 0; i <= -alpha.level(); i++ ) |
| 298 | newvarnames[i] = var_names_ext[i]; |
| 299 | newvarnames[-alpha.level()+1] = 0; |
| 300 | delete [] var_names_ext; |
| 301 | var_names_ext = newvarnames; |
| 302 | ext_entry * newalgext = new ext_entry [-alpha.level()+1]; |
| 303 | for ( i = 0; i <= -alpha.level(); i++ ) |
| 304 | newalgext[i] = algextensions[i]; |
| 305 | delete [] algextensions; |
| 306 | algextensions = newalgext; |
| 307 | } |
| 308 | |
| 309 | void Reduce( bool on) |
| 310 | { |
no test coverage detected