~/jendhub

def by_rank

unified-nsga-iii@0.2.2.0 · tournament.bend:59

import unified-nsga-iii@0.2.2.0/tournament.bend as Tournament
import Base
import unified-nsga-iii@0.2.2.0/individual.bend as Ind
import unified-nsga-iii@0.2.2.0/rng.bend as Rng

59def by_rank(+a: Ind.Individual, +b: Ind.Individual, rng: Rng.State) -> Rng.State & Ind.Individual:
60  by_rank.eq(a, b, rng, Nat.is_eq(Ind.rank(a), Ind.rank(b)))

Uses (6)

Used by (1)