Struct rtlola_frontend::mir::Deadline
source · pub struct Deadline {
pub pause: Duration,
pub due: Vec<Task>,
}
Expand description
This struct represents a single deadline inside a Schedule.
All deadlines are meant to lie within a hyper-period, i.e., they represent a family of points in time rather than a single one. The deadline contains information on what streams need to be evaluated when due.
Example
See example of Schedule::deadlines.
Fields§
§pause: Duration
The time delay between the current deadline and the next.
due: Vec<Task>
The set of streams affected by this deadline.