~/jendhub

def any_infeas

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

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

1018def any_infeas(pop: List<&2, Ind.Individual>) -> Bool:
1019  match pop:
1020    case Nil{}:
1021      False{}
1022    case h <> t:
1023      any_infeas.on(any_infeas(t), Ind.feasible(h))

Uses (5)

Used by (1)