Message307011
> Perhaps heappop could say that the heap invariant is maintained if the heap is properly sorted before the heappop invocation.
Honestly I like this wording less. "Properly sorted" would suggest sorted in the sense of heap.sort() [as the docs refer to this earlier], but the array doesn't have to be sorted; it's enough if it's a heap. The function always maintains the invariant - this means that if the invariant is true as a precondition, it will be true as a postcondition. Maybe you have a different idea? |
|
Date |
User |
Action |
Args |
2017-11-26 17:51:24 | abcdef | set | recipients:
+ abcdef, eric.smith, docs@python, scooter4j |
2017-11-26 17:51:24 | abcdef | set | messageid: <1511718684.79.0.213398074469.issue32142@psf.upfronthosting.co.za> |
2017-11-26 17:51:24 | abcdef | link | issue32142 messages |
2017-11-26 17:51:24 | abcdef | create | |
|