Section: 28.7.7 [alg.heap.operations] Status: TC1 Submitter: Markus Mauhart Opened: 1999-09-24 Last modified: 2016-02-10
Priority: Not Prioritized
View all other issues in [alg.heap.operations].
View all issues with TC1 status.
Duplicate of: 216
25.3.6 [lib.alg.heap.operations] states two key properties of a heap [a,b), the first of them
`"(1) *a is the largest element"
I think this is incorrect and should be changed to the wording in the proposed resolution.
Actually there are two independent changes:
A-"part of largest equivalence class" instead of "largest", cause 25.3 [lib.alg.sorting] asserts "strict weak ordering" for all its sub clauses.
B-Take 'an oldest' from that equivalence class, otherwise the heap functions could not be used for a priority queue as explained in 220.127.116.11.2 [lib.priqueue.members] (where I assume that a "priority queue" respects priority AND time).
Change 28.7.7 [alg.heap.operations] property (1) from:
(1) *a is the largest element
(1) There is no element greater than *a