def count

unified-nsga-iii@0.2.2.0 · reference_directions.bend:28

import unified-nsga-iii@0.2.2.0/reference_directions.bend as ReferenceDirections

import Base

28# Number of Das–Dennis points. M == 0n is a guard (0). M == 1n → 1.
29# M == 1n+rest → if rest == 0 then 1 else C(p + rest, rest) = C(p + M - 1, M - 1).
30def count(number_of_objectives: Nat, partitions: Nat) -> Nat:
31  match number_of_objectives:
32    case 0n:
33      0n
34    case 1n+rest:
35      count.go(rest, partitions)

Uses (2)

Used by (3)