Commit 17a1bb81 authored by Björn Brandenburg's avatar Björn Brandenburg

remove unneeded Require statements in model/arrival

parent da339dd4
Require Import rt.util.all.
Require Export rt.restructuring.behavior.all.
Require Import rt.restructuring.model.aggregate.task_arrivals.
Require Export rt.util.rel.
Require Export rt.restructuring.model.aggregate.task_arrivals.
(** In this section, we define the notion of arrival curves, which
can be used to reason about the frequency of job arrivals. *)
......
Require Export rt.restructuring.behavior.all.
Require Export rt.restructuring.model.task.
Section TaskMinInterArrivalTime.
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment