1 when the product has a recorded choice, its tile serves it, and the
checked schedule holds on both of SM86.Scoreboard's passes
607def coppeliusTiledShapeAdmitted = (lambda unrestricted shape : (family CoppeliusTiledShape) .
608 (eliminate CoppeliusTiledShape (lambda unrestricted c : (family CoppeliusTiledShape) . Nat) shape
609 (branch CoppeliusTiledShapeValue a b m n k residual .
610 (let unrestricted checked = (coppeliusGuardLateReadsIfRequired (coppeliusTiledProgramAs 0 residual a b m n k)) in
611 -- a recorded choice, a candidate that serves the product
612 (naturalAnd (naturalLess (coppeliusTiledChoiceFor residual a b m n k) coppeliusTiledCandidateCount)
613 (naturalAnd (coppeliusTiledTileServes (coppeliusTiledTile residual a b m n k) m n k)
614 (naturalAnd (naturalIsZero (sm86Scoreboard checked)) (naturalIsZero (sm86FixedLatencyHazard checked)))))))))The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.