References
| summary | ||
| public |
F sort(compare: *, a: *, i: *, j: *) |
|
| public |
F sortTypedDecreasing(a: *, i: *, j: *) |
|
| public |
F sortTypedDecreasingOptimized(a: *, i: *, j: *) Hyp: a[i-1] >= max(a[i:j]). |
|
| public |
F sortTypedIncreasing(a: *, i: *, j: *) |
|
| public |
F sortTypedIncreasingOptimized(a: *, i: *, j: *) Hyp: a[i-1] <= min(a[i:j]). |
|