| 160 | |
| 161 | template<class TaskView> |
| 162 | forceinline void |
| 163 | OmegaLambdaTree<TaskView>::shift(int i) { |
| 164 | // That means that i is in omega |
| 165 | assert(leaf(i).ect > -Limits::infinity); |
| 166 | leaf(i).p = 0; |
| 167 | leaf(i).ect = -Limits::infinity; |
| 168 | leaf(i).resEct = i; |
| 169 | leaf(i).resLp = i; |
| 170 | update(i); |
| 171 | } |
| 172 | |
| 173 | template<class TaskView> |
| 174 | forceinline void |
no test coverage detected