Library prosa.analysis.definitions.schedule_prefix
We define the notion of prefix-equivalence of schedules.
For any type of jobs...
... and any kind of processor model, ...
... two schedules share an identical prefix if they are pointwise
identical (at least) up to a fixed horizon.