From 631a3fdfb19ef4262cde9b759af80c19708acdb2 Mon Sep 17 00:00:00 2001 From: Sergei Bozhko <sbozhko@mpi-sws.org> Date: Mon, 27 Sep 2021 10:31:43 +0200 Subject: [PATCH] fix description in behavior/job.v --- behavior/job.v | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/behavior/job.v b/behavior/job.v index dde542c88..9417d0143 100644 --- a/behavior/job.v +++ b/behavior/job.v @@ -17,7 +17,7 @@ Definition work := nat. (** Definition of a generic type of parameter relating jobs to a discrete cost. *) Class JobCost (Job : JobType) := job_cost : Job -> work. -(** Definition of a generic type of parameter for job_arrival. *) +(** Definition of a generic type of parameter relating jobs to an arrival time. *) Class JobArrival (Job : JobType) := job_arrival : Job -> instant. (** Definition of a generic type of parameter relating jobs to an absolute deadline. *) -- GitLab