Library rt.restructuring.behavior.job
(* ----------------------------------[ coqtop ]---------------------------------
Welcome to Coq 8.10.1 (October 2019)
----------------------------------------------------------------------------- *)
From rt.restructuring.behavior Require Export 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.