Update documentation.

This commit is contained in:
Patrick Pelissier committed 2020-11-15 09:39:15 +01:00
1 parent 19ff6bfeac
commit 800d03f728
1 file changed
+4
+4
View File
@@ -3298,6 +3298,10 @@ minimum value of all elements in the queue
Pop the minimum value from the priority Queue 'queue'
and save the popped value into 'dest' if the pointer is not null.
##### bool name\_equal\_p(const name\_t queue1, const name\_t queue2)
Return true if both queues are equal, false otherwise.
##### void name\_update(name\_t queue, const type\_t old\_val, const type\_t new\_val)
Change the priority of the data of the priority equals to 'old\_val' (in EQUAL sense)