def split.go

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

import unified-nsga-iii@0.2.2.0/survival.bend as Survival

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

1154def split.go(pop: List<&2, Ind.Individual>, +i: Nat) -> Split:
1155  match pop:
1156    case Nil{}:
1157      Split{Nil{}, Nil{}}
1158    case +h <> t:
1159      split_on(h, split.go(t, 1n+i), i, Ind.feasible(h))

Uses (6)

Used by (2)