def offs_add2
unified-nsga-iii@0.2.2.0 · algorithm.bend:244
import unified-nsga-iii@0.2.2.0/algorithm.bend as Algorithm
import Base
import unified-nsga-iii@0.2.2.0/individual.bend as Ind
244def offs_add2(
245 +need: Nat,
246 acc: List<&2, Ind.Individual>,
247 seen: List<&2, List<&2, F32>>,
248 +elim: Bool,
249 +c2: Ind.Individual,
250 trip: List<&2, Ind.Individual> & List<&2, List<&2, F32>> & Bool
251) -> Nat & List<&2, Ind.Individual> & List<&2, List<&2, F32>>:
252 (acc1, seen1, hit1) = trip
253 +need1 = dec_if(need, hit1)
254 offs_add2.rest(need1, elim, c2, acc1, seen1, Nat.is_eq(need1, 0n))