package Feasibility_Test.generated_R2 is type MY_ARRAY is array(0..20) of Double; function W_i (My_Tasks : in Tasks_Set; q:in Double; Current_Task : in Generic_Task_Ptr ) return Double; procedure compute_less_equal (My_Tasks : in Tasks_Set; Processor_Name : in Unbounded_String; Current_Task : in Generic_Task_Ptr; Value_W_i : out MY_ARRAY; q: out integer); function max_r_i (My_Tasks : in Tasks_Set; W_i : in MY_ARRAY; nb_value_W_i : in integer; Current_Task : in Generic_Task_Ptr ) return Double; end Feasibility_Test.generated_R2;