Skip to content
Snippets Groups Projects
Commit 3bdc4daf authored by Sergey Bozhko's avatar Sergey Bozhko :eyes:
Browse files

improve comment

parent 93e70f81
No related branches found
No related tags found
1 merge request!311Add notion of supply
Hide whitespace changes
Inline Side-by-side
analysis/facts/behavior/service.v
+ 3
− 1
View file @ 3bdc4daf
......@@ -246,9 +246,11 @@ Section Monotonicity.
End Monotonicity.
(** Consider any job type and any processor model. *)
(** In the following, we establish a collection of facts relating
service with predicates [scheduled_in] and [scheduled_at]. *)
Section RelationToScheduled.
(** Consider any job type and any processor model. *)
Context {Job: JobType}.
Context {PState: ProcessorState Job}.
......
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