lemon/radix_heap.h
changeset 1758 4bfe670710e0
parent 1717 75fe24093ded
child 1834 0a14e1ae45a1
     1.1 --- a/lemon/radix_heap.h	Wed Nov 02 16:43:18 2005 +0000
     1.2 +++ b/lemon/radix_heap.h	Fri Nov 04 10:51:35 2005 +0000
     1.3 @@ -371,7 +371,7 @@
     1.4      ///
     1.5      /// This method decreases the priority of item \c i to \c p.
     1.6      /// \pre \c i must be stored in the heap with priority at least \c p, and
     1.7 -    /// \c should be greater then the last removed item's priority.
     1.8 +    /// \c should be greater or equal to the last removed item's priority.
     1.9      /// \param i The item.
    1.10      /// \param p The priority.
    1.11      void decrease(const Item &i, const Prio &p) {
    1.12 @@ -383,8 +383,7 @@
    1.13      /// \brief Increases the priority of \c i to \c p.
    1.14      ///
    1.15      /// This method sets the priority of item \c i to \c p. 
    1.16 -    /// \pre \c i must be stored in the heap with priority at most \c
    1.17 -    /// p relative to \c Compare.
    1.18 +    /// \pre \c i must be stored in the heap with priority at most \c p
    1.19      /// \param i The item.
    1.20      /// \param p The priority.
    1.21      void increase(const Item &i, const Prio &p) {