def pick_member.rng

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

import Base
import unified-nsga-iii@0.2.2.0/rng.bend as Rng
import unified-nsga-iii@0.2.2.0/util.bend as Util

588def pick_member.rng(+asgs: List<&2, Assignment>, +counts: List<&2, Nat>, +cand: List<&2, Nat>, +r: Nat, rng: Rng.State) -> Rng.State:
589  pick_member.rng.by(
590    asgs,
591    in_ref(asgs, r, cand),
592    Nat.is_eq(Util.get_nat(counts, r), 0n),
593    first_cand(cand),
594    rng
595  )