def set_var_at

unified-nsga-iii@0.2.2.0 · individual.bend:90

import unified-nsga-iii@0.2.2.0/individual.bend as Individual
import Base

90def set_var_at(ind: Individual, i: Nat, v: F32) -> Individual:
91  match ind:
92    case MkIndividual{x, f, g, cv, rnk, nic, ar, pd, ev, lnk}:
93      MkIndividual{List.set(&2, F32, x, i, v), f, g, cv, rnk, nic, ar, pd, ev, lnk}

Uses (4)

Used by (0)

No other definition uses this definition.