Library prosa.behavior.job
(* ----------------------------------[ coqtop ]---------------------------------
Welcome to Coq 8.11.2 (June 2020)
----------------------------------------------------------------------------- *)
Require Export prosa.behavior.time.
From mathcomp Require Export eqtype ssrnat.
Unit of Work
Basic Job Parameters — Cost, Arrival Time, and Absolute Deadline
Definition of a generic type of parameter for job_arrival.
Definition of a generic type of parameter relating jobs to an absolute deadline.