~/jendhub

def has_feas

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

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

523def has_feas(pop: List<&2, Ind.Individual>) -> Bool:
524  match pop:
525    case Nil{}:
526      False{}
527    case h <> t:
528      has_feas.on(has_feas(t), Ind.feasible(h))

Uses (5)

Used by (1)