For the first version: • [first, last) is a valid range. • [first, last – 1) is a valid range. That is, [first, last) is nonempty. • [first, last – 1) is a heap. That is, is_heap(first, last – 1) is true. For the second version: • [first, last) is a valid range. • [first, last – 1) is a valid range. That is, [first, last) is nonempty. • [first, last) is a heap. That is, is_heap(first, last – 1, comp) is true.Preconditions
Loading...