def parents_loop

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

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

177def parents_loop(fuel: Nat, hold: PHold, +mode: Mode, +pop: List<&2, Ind.Individual>) -> Rng.State & List<&2, Ind.Individual>:
178  match fuel hold:
179    case 0n PH{rng, acc}:
180      (rng, List.reverse(&2, Ind.Individual, acc))
181    case 1n+f h:
182      parents_loop(f, parents_next(mode, pop, h), mode, pop)