with Text_IO;                   use Text_IO;
with Ada.Strings.Unbounded;     use Ada.Strings.Unbounded;
with Tasks;			use Tasks;
with Task_Set;                  use Task_Set;
with Offsets;			use Offsets;
with Offsets;			use Offsets.Offsets_Table_Package;
with Offsets.extended;		use Offsets.extended;
with Tables;
with sets;
with Tasks; 			use Tasks;
with Systems; 			use Systems;



package Efficiency_Test is

   procedure generate_test_cases
     (filename  : in Unbounded_String;
      N	        : in Integer;
      PU        : in Float;
      CU        : in Float;
      CS        : in Integer;
      RF        : in Float;
      PU_String : in String);

   procedure assign_priority
     (Filename  : in String;
      PU_String : in String;
      PA_String : in String;
      Dir_String : in String);

   procedure error_checker
     (Filename  : in String;
      PA_String : in String);

end Efficiency_Test;