lemon/elevator.h
changeset 2351 8e3a00d4678e
parent 2349 c945f577a66d
child 2352 5e273e0bd5e2
equal deleted inserted replaced
3:f49b93633962 4:df15c19c41ca
   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];