Library prosa.analysis.definitions.job_properties
(* ----------------------------------[ coqtop ]---------------------------------
Welcome to Coq 8.11.2 (June 2020)
----------------------------------------------------------------------------- *)
Require Export prosa.behavior.all.
In this section, we introduce properties of a job.
Assume that job costs are known.
Consider an arbitrary job.
The job cost must be positive.