equal
deleted
inserted
replaced
264 ///@} |
264 ///@} |
265 |
265 |
266 ///Lift an active item to a higher level. |
266 ///Lift an active item to a higher level. |
267 |
267 |
268 ///Lift an active item to a higher level. |
268 ///Lift an active item to a higher level. |
269 ///\params i The item to be lifted. It must be active. |
269 ///\param i The item to be lifted. It must be active. |
270 ///\params new_level The new level of \c i. It must be strictly higher |
270 ///\param new_level The new level of \c i. It must be strictly higher |
271 ///than the current level. |
271 ///than the current level. |
272 /// |
272 /// |
273 void liftTo(Item i, int new_level) |
273 void liftTo(Item i, int new_level) |
274 { |
274 { |
275 const int lo = _level[i]; |
275 const int lo = _level[i]; |