def compare_cd.infeas

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

import Base

100# Equal CV among infeasible points: 0. Deb does not Pareto-compare.
101# C# CompareConstraintDominated on published main falls through to
102# Pareto; this tree does not (Deb / constraint-domination target).
103def compare_cd.infeas(+cva: F32, +cvb: F32, a_lt: Bool, b_lt: Bool) -> Nat:
104  match a_lt:
105    case True{}:
106      1n
107    case False{}:
108      match b_lt:
109        case True{}:
110          2n
111        case False{}:
112          0n