| 236 | } |
| 237 | |
| 238 | void setReduce( const Variable & alpha, bool reduce ) |
| 239 | { |
| 240 | ASSERT( alpha.level() < 0 && alpha.level() != LEVELBASE, "illegal extension" ); |
| 241 | algextensions[-alpha.level()].reduce() = reduce; |
| 242 | } |
| 243 | |
| 244 | char getDefaultVarName() |
| 245 | { |
no test coverage detected