~/jendhub

def dominates

unified-nsga-iii@0.2.2.0 · non_dominated_sort.bend:155

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

155# Pareto only. Irreflexivity is closed in PROOF.bend on this predicate.
156# `sort` uses compare_cd, not this function.
157def dominates(a: Ind.Individual, b: Ind.Individual) -> Bool:
158  dominates.fin(compare_pareto(Ind.objectives(a), Ind.objectives(b)))

Uses (5)

Used by (0)

No other definition uses this definition.