~/jendhub

def row_before

unified-nsga-iii@0.2.2.0 · survival.bend:1025

import unified-nsga-iii@0.2.2.0/survival.bend as Survival
import Base
import unified-nsga-iii@0.2.2.0/individual.bend as Ind

1025def row_before(a: CvRow, b: CvRow) -> Bool:
1026  match a b:
1027    case CvRow{i, ind} CvRow{j, other}:
1028      +ca = Ind.constraint_violation(ind)
1029      +cb = Ind.constraint_violation(other)
1030      Bool.or(F32.is_lt(ca, cb), Bool.and(F32.is_eq(ca, cb), Bool.not(Nat.is_le(j, i))))

Uses (9)

Used by (1)