~/jendhub

def asf.go

unified-nsga-iii@0.2.2.0 · normalization.bend:185

import unified-nsga-iii@0.2.2.0/normalization.bend as Normalization
import Base

185def asf.go(f: List<&2, F32>, ideal: List<&2, F32>, +axis: Nat, +j: Nat, acc: F32) -> F32:
186  match f ideal:
187    case Nil{} ys:
188      acc
189    case xs Nil{}:
190      acc
191    case x <> xs y <> ys:
192      asf.go(xs, ys, axis, 1n+j, F32.max(acc, asf_term(x, y, Nat.is_eq(j, axis))))

Uses (6)

Used by (1)