Skip to content
Snippets Groups Projects
Commit 631a3fdf authored by Sergey Bozhko's avatar Sergey Bozhko :eyes: Committed by Björn Brandenburg
Browse files

fix description in behavior/job.v

parent 795e584a
No related branches found
No related tags found
1 merge request!150Fix description in behavior/job.v
Pipeline #54346 passed with warnings
Stage: build
Stage: process
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
behavior/job.v
+ 1
− 1
View file @ 631a3fdf
...@@ -17,7 +17,7 @@ Definition work := nat. ...@@ -17,7 +17,7 @@ Definition work := nat.
(** Definition of a generic type of parameter relating jobs to a discrete cost. *) (** Definition of a generic type of parameter relating jobs to a discrete cost. *)
Class JobCost (Job : JobType) := job_cost : Job -> work. 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. Class JobArrival (Job : JobType) := job_arrival : Job -> instant.
(** Definition of a generic type of parameter relating jobs to an absolute deadline. *) (** Definition of a generic type of parameter relating jobs to an absolute deadline. *)
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment