| 190 | |
| 191 | template<class TaskView> |
| 192 | forceinline void |
| 193 | OmegaLambdaTree<TaskView>::lremove(int i) { |
| 194 | leaf(i).lp = 0; |
| 195 | leaf(i).lect = -Limits::infinity; |
| 196 | leaf(i).resEct = OmegaLambdaNode::undef; |
| 197 | leaf(i).resLp = OmegaLambdaNode::undef; |
| 198 | update(i); |
| 199 | } |
| 200 | |
| 201 | template<class TaskView> |
| 202 | forceinline bool |
no test coverage detected