with task_set; use task_set;
with resource_set; use resource_set;
with ada.strings.unbounded;
use ada.strings.unbounded;
with unbounded_strings;
use unbounded_strings;
with scheduling_analysis;
use scheduling_analysis;


   
package priority_assignment.ceiling_priority is 


procedure Compute_Ceiling_Priority
      (My_Tasks       : in out Tasks_Set;
      My_Resources       : in out Resources_Set;
      Processor_Name : in Unbounded_String := empty_string;
      Msg            : in out Unbounded_String;
      Ceiling_Priorities : out Ceiling_Priority_Table);


end priority_assignment.ceiling_priority;