def init_loop

unified-nsga-iii@0.2.2.0 · algorithm.bend:128

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

128def init_loop(fuel: Nat, hold: IHold, +box: Bounds.Box, +n_obj: Nat) -> Rng.State & List<&2, Ind.Individual>:
129  match fuel hold:
130    case 0n IH{rng, acc}:
131      (rng, List.reverse(&2, Ind.Individual, acc))
132    case 1n+f h:
133      init_loop(f, init_next(box, n_obj, h), box, n_obj)