def merge_images

stelliferous@0.0.2.0 · kernel_band_planning.bend:44

import Base
import stelliferous@0.0.2.0/kernel_cost.bend as Cost

44# A split between images finishes both sides' regions in turn.
45def merge_images(+workers: U32,clone: F32,left: Movement,right: Movement) -> Movement:
46  Movement{lw,+ls,+lo,lsettled,lp,lmin,ln} = left
47  Movement{rw,+rs,+ro,rsettled,rp,rmin,rn} = right
48  +clone = clone
49  Movement{(clone + lw + rw : F32),0.0,0,(clone + lsettled + rsettled + Cost.region_ns(workers,lo,ls) + Cost.region_ns(workers,ro,rs) : F32),
50    (lp + rp : F32),F32.min(lmin,rmin),(ln + rn : U32)}