def split_add.infeas

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

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

1142def split_add.infeas(+h: Ind.Individual, +i: Nat, sp: Split) -> Split:
1143  match sp:
1144    case Split{feas, rows}:
1145      Split{feas, CvRow{i, h} <> rows}