7 lines
261 B
Plaintext
7 lines
261 B
Plaintext
open Scheduler_data
|
|
|
|
fun deadline_miss_log(date:int;task_id:int) returns ()
|
|
fun random(max:int) returns (v:int)
|
|
fun print_scheduler_state(s:scheduler_state) returns ()
|
|
fun print_mes_couilles(tid:int;ts:task_status; ta:task_attributes;acc:select_acc) returns ()
|