package daypack-lib

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val remove_pending_sched_req : Sched_req_.sched_req_id -> sched -> sched
val remove_pending_sched_req_if_contains_matching_task_seg_alloc_req : (Task_.task_seg_alloc_req -> bool) -> sched -> sched
val remove_pending_sched_req_data_unit_if_contains_matching_task_seg_alloc_req : (Task_.task_seg_alloc_req -> bool) -> sched -> sched
val remove_pending_sched_req_by_task_id : Task_.task_id -> sched -> sched
val remove_pending_sched_req_by_task_inst_id : Task_.task_inst_id -> sched -> sched
val remove_pending_sched_req_by_task_seg_id : Task_.task_seg_id -> sched -> sched
val remove_pending_sched_req_data_unit_by_task_id : Task_.task_id -> sched -> sched
val remove_pending_sched_req_data_unit_by_task_inst_id : Task_.task_inst_id -> sched -> sched
val remove_pending_sched_req_data_unit_by_task_seg_id : Task_.task_seg_id -> sched -> sched