def append_fill

unified-nsga-iii@0.2.2.0 · survival.bend:1088

import Base
import unified-nsga-iii@0.2.2.0/individual.bend as Ind
import unified-nsga-iii@0.2.2.0/util.bend as Util

1088def append_fill(+kept: List<&2, Ind.Individual>, rows: List<&2, CvRow>, +target: Nat) -> List<&2, Ind.Individual>:
1089  List.append(
1090    &2,
1091    Ind.Individual,
1092    kept,
1093    take_clear(rows, Nat.sub(target, Util.list_len(Ind.Individual, kept)))
1094  )