~/jendhub

def has_infeas

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

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

509def has_infeas(pop: List<&2, Ind.Individual>) -> Bool:
510  match pop:
511    case Nil{}:
512      False{}
513    case h <> t:
514      has_infeas.on(has_infeas(t), Ind.feasible(h))

Uses (5)

Used by (1)