equal
deleted
inserted
replaced
127 /// |
127 /// |
128 /// This method sets the priority of the given item if it is |
128 /// This method sets the priority of the given item if it is |
129 /// already stored in the heap. |
129 /// already stored in the heap. |
130 /// Otherwise it inserts the given item with the given priority. |
130 /// Otherwise it inserts the given item with the given priority. |
131 /// |
131 /// |
132 /// It may throw an \ref UnderflowPriorityException. |
|
133 /// \param i The item. |
132 /// \param i The item. |
134 /// \param p The priority. |
133 /// \param p The priority. |
135 void set(const Item &i, const Prio &p) {} |
134 void set(const Item &i, const Prio &p) {} |
136 |
135 |
137 /// \brief Decreases the priority of an item to the given value. |
136 /// \brief Decreases the priority of an item to the given value. |