type UHold

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

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

313# Middle loop: mutation that must still be a new key. `need` is the
314# remaining slots. Cap is max(pop*20, 1), counted in `fuel`.
315type UHold is Data:
316  UH{
317    rng: Rng.State
318    acc: List<&2, Ind.Individual>
319    seen: List<&2, List<&2, F32>>
320    need: Nat
321  }