< Tree Maximum AutoProof Code Repository Two-way sort >

Two-way maximum

Category: Algorithm

Source: COST'11

Description

Verify that the index returned by the method two_way_max given below points to an element maximal in the array.

download source

Code