def feas_only.on

unified-nsga-iii@0.2.2.0 · algorithm.bend:424

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

424# Rank 0 is feasible whenever any feasible member exists (Deb).
425# An all-infeasible front becomes empty here so a dump can skip it.
426def feas_only.on(+h: Ind.Individual, rest: List<&2, Ind.Individual>, feas: Bool) -> List<&2, Ind.Individual>:
427  match feas:
428    case True{}:
429      h <> rest
430    case False{}:
431      rest