| 230 | } |
| 231 | |
| 232 | bool getReduce( const Variable & alpha ) |
| 233 | { |
| 234 | ASSERT( alpha.level() < 0 && alpha.level() != LEVELBASE, "illegal extension" ); |
| 235 | return algextensions[-alpha.level()].reduce(); |
| 236 | } |
| 237 | |
| 238 | void setReduce( const Variable & alpha, bool reduce ) |
| 239 | { |
no test coverage detected