def offs_add2.rest
unified-nsga-iii@0.2.2.0 · algorithm.bend:237
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
237def offs_add2.rest(+need1: Nat, +elim: Bool, +c2: Ind.Individual, acc1: List<&2, Ind.Individual>, seen1: List<&2, List<&2, F32>>, done: Bool) -> Nat & List<&2, Ind.Individual> & List<&2, List<&2, F32>>:
238 match done:
239 case True{}:
240 (0n, acc1, seen1)
241 case False{}:
242 offs_add2.hit(need1, try_add(acc1, c2, seen1, elim))