def split_on

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

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

1147def split_on(+h: Ind.Individual, rest: Split, +i: Nat, feas: Bool) -> Split:
1148  match feas:
1149    case True{}:
1150      split_add.feas(h, rest)
1151    case False{}:
1152      split_add.infeas(h, i, rest)