pub fn scaled_slots(model: &Model, cycle: &[Step]) -> Vec<usize>Expand description
The slots a scaling of a cycle covers: every slot a guard reads, closed under what feeds them — the slots their rates read, and the slots a statement of the cycle setting one of them, or a condition it runs under, reads.