Edf equivalence
Proving the equivalence of the predicates respects_policy_at_preemption_point and EDF_schedule - where both specify that a schedule is an EDF one (given an EDF priority definition).
Proving the equivalence of the predicates respects_policy_at_preemption_point and EDF_schedule - where both specify that a schedule is an EDF one (given an EDF priority definition).