~/jendhub

def dtlz2_n_var

unified-nsga-iii@0.2.2.0 · lib.bend:49

import unified-nsga-iii@0.2.2.0/lib.bend as Lib
import Base
import unified-nsga-iii@0.2.2.0/problems.bend as Problems

49def dtlz2_n_var() -> Nat:
50  Problems.n_var(Problems.dtlz2(3n, 10n))

Uses (3)

Used by (0)

No other definition uses this definition.