~/jendhub

def choose

stelliferous@0.0.2.0 · kernel_band_planning.bend:78

import stelliferous@0.0.2.0/kernel_band_planning.bend as KernelBandPlanning
import Base

78def choose(allowed: Bool,depth: U32,parallel: Bool,+time: F32,best: Plan) -> Plan:
79  Plan{old_depth,old_parallel,+old_time} = best
80  Bool.pick(Plan,allowed && F32.is_lt(time,old_time),Plan{depth,parallel,time},Plan{old_depth,old_parallel,old_time})

Uses (7)

Used by (1)