diff -r bd4199049036 -r 4bfe670710e0 lemon/radix_heap.h --- a/lemon/radix_heap.h Wed Nov 02 16:43:18 2005 +0000 +++ b/lemon/radix_heap.h Fri Nov 04 10:51:35 2005 +0000 @@ -371,7 +371,7 @@ /// /// This method decreases the priority of item \c i to \c p. /// \pre \c i must be stored in the heap with priority at least \c p, and - /// \c should be greater then the last removed item's priority. + /// \c should be greater or equal to the last removed item's priority. /// \param i The item. /// \param p The priority. void decrease(const Item &i, const Prio &p) { @@ -383,8 +383,7 @@ /// \brief Increases the priority of \c i to \c p. /// /// This method sets the priority of item \c i to \c p. - /// \pre \c i must be stored in the heap with priority at most \c - /// p relative to \c Compare. + /// \pre \c i must be stored in the heap with priority at most \c p /// \param i The item. /// \param p The priority. void increase(const Item &i, const Prio &p) {