Home Manual Reference Source

Function

Static Public Summary
public

sort(compare: *, a: *, i: *, j: *)

public

sortTypedDecreasing(a: *, i: *, j: *)

public

sortTypedDecreasingOptimized(a: *, i: *, j: *)

Hyp: a[i-1] >= max(a[i:j]).

public

sortTypedIncreasing(a: *, i: *, j: *)

public

sortTypedIncreasingOptimized(a: *, i: *, j: *)

Hyp: a[i-1] <= min(a[i:j]).

Static Public

public sort(compare: *, a: *, i: *, j: *) source

Params:

NameTypeAttributeDescription
compare *
a *
i *
j *

public sortTypedDecreasing(a: *, i: *, j: *) source

Params:

NameTypeAttributeDescription
a *
i *
j *

public sortTypedDecreasingOptimized(a: *, i: *, j: *) source

Hyp: a[i-1] >= max(a[i:j]).

Params:

NameTypeAttributeDescription
a *
i *
j *

public sortTypedIncreasing(a: *, i: *, j: *) source

Params:

NameTypeAttributeDescription
a *
i *
j *

public sortTypedIncreasingOptimized(a: *, i: *, j: *) source

Hyp: a[i-1] <= min(a[i:j]).

Params:

NameTypeAttributeDescription
a *
i *
j *