def c1_dtlz1

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

import Base
import unified-nsga-iii@0.2.2.0/bounds.bend as Bounds

155# C1-DTLZ1: DTLZ1 plus one inequality. C# default M=3, k=5 (n = M+k-1).
156def c1_dtlz1(+m: Nat, k: Nat) -> Problem:
157  mk_prob(C1Dtlz1{}, Bounds.unit_n(dtlz_n(m, k), m))