~/jendhub

def feas_idx.go

unified-nsga-iii@0.2.2.0 · normalization.bend:551

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

551def feas_idx.go(pop: List<&2, Ind.Individual>, +i: Nat) -> List<&2, Nat>:
552  match pop:
553    case Nil{}:
554      Nil{}
555    case h <> t:
556      feas_idx.on(i, feas_idx.go(t, 1n+i), Ind.feasible(h))

Uses (5)

Used by (1)