| 232 | |
| 233 | template<class TaskView> |
| 234 | forceinline void |
| 235 | OmegaLambdaTree<TaskView>::lremove(int i) { |
| 236 | // i not in omega but in lambda |
| 237 | assert(leaf(i).env == -Limits::llinfinity); |
| 238 | assert(leaf(i).lenv > -Limits::llinfinity); |
| 239 | leaf(i).le = 0; |
| 240 | leaf(i).lenv = -Limits::llinfinity; |
| 241 | leaf(i).resLe = OmegaLambdaNode::undef; |
| 242 | leaf(i).resLenv = OmegaLambdaNode::undef; |
| 243 | update(i); |
| 244 | } |
| 245 | |
| 246 | template<class TaskView> |
| 247 | forceinline bool |
no test coverage detected