def winner_rnd.cv

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

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

125# Both infeasible. Equal CV falls through to rank (not a coin, not Pareto).
126def winner_rnd.cv(+a: Ind.Individual, +b: Ind.Individual, rng: Rng.State, a_lt: Bool, b_lt: Bool) -> Rng.State & Ind.Individual:
127  match a_lt:
128    case True{}:
129      (rng, a)
130    case False{}:
131      winner_rnd.cv_b(a, b, rng, b_lt)