with unbounded_strings; use unbounded_strings;
with Objects; use Objects;

package Feasibility_Test.Wort_Case_Response_Time is

   Max_Response_time : Double := 999999.9;

   procedure Audsley_Compute_Offset_Response_Time
     (My_Task_Groups : in Task_Groups_Set;
      Processor_Name : in Unbounded_String;
      Msg            : in out Unbounded_String;
      Response_Time  : out Response_Time_Table);

   procedure Tindell_Compute_Offset_Response_Time
     (My_Task_Groups : in Task_Groups_Set;
      Processor_Name : in Unbounded_String;
      Msg            : in out Unbounded_String;
      Response_Time  : out Response_Time_Table);

   procedure Palencia_Compute_Offset_Response_Time
     (My_Task_Groups : in Task_Groups_Set;
      Processor_Name : in Unbounded_String;
      Msg            : in out Unbounded_String;
      Response_Time  : out Response_Time_Table);

end Feasibility_Test.Wort_Case_Response_Time;