# Library prosa.model.schedule.scheduled

# The Scheduled Job(s)

Consider any type of jobs, ...

...

*any*kind of processor, ...
... any arrival sequence, ...

... and any schedule.

The set of jobs scheduled at time t can be obtained by filtering the set
of all jobs that arrive at or before time t.

For the special case of uniprocessors, we define a convenience wrapper
that reduces the sequence of scheduled jobs to an option Job.

We also provide a convenience wrapper to express the absence of scheduled
jobs.