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 Tasks; 				use Tasks;
with Systems; 				use Systems;
with CFG_Node_Set.Basic_Block_Set; 	use CFG_Node_Set.Basic_Block_Set;
with Tables;
with sets;
package cache_analysis_test is

   ------------------------------------------------------
   -- Procedure for testing purpose
   ------------------------------------------------------

   procedure Print_GEN
     (my_basic_blocks : in Basic_Blocks_Set;
      number_cache_block : in Integer);

   procedure Print_RMB
     (my_basic_blocks : in Basic_Blocks_Set;
      number_cache_block : in Integer);

   procedure Print_LMB
     (my_basic_blocks : in Basic_Blocks_Set;
      number_cache_block : in Integer);

   procedure Print_NumberUsefulBlock
     (my_basic_blocks : in Basic_Blocks_Set);

   ------------------------------------------------------
   -- Procedure for generating systems, examples
   ------------------------------------------------------
   procedure compute_cache_access_profile;

   procedure test_sort_task_set_by_cap
     (file_name                 : in Unbounded_String := To_Unbounded_String("Test");
      N                		: in Integer	:= 10;
      PU 	       		: in Float	:= 0.70;
      CU 	       		: in Float	:= 5.0;
      CS       	       		: in Integer	:= 256;
      RF	       		: in Float	:= 0.3);

end cache_analysis_test;