package body Libsens.Virtual.Aux is
   
   package Bool_Rand is new Ada.Numerics.Discrete_Random(Boolean);
   
   procedure True_Table_Initialize(True_Table : in out True_Table_Type) is
      
      Bool_Gen : Bool_Rand.Generator;
      
   begin	 
      Bool_Rand.Reset(Bool_Gen);
      
      for Next_Id in Break_Type'Range loop
	 for Prev_Id in Break_Type'Range loop
	    for Category_Id in Category_Index_Type'Range loop		  		  
	       True_Table(Category_id, Prev_id, Next_id) := 		 
		 Bool_Rand.Random(Bool_Gen) or Bool_Rand.Random(Bool_Gen) or
		 Bool_Rand.Random(Bool_Gen) or Bool_Rand.Random(Bool_Gen);
	    end loop;
	 end loop;
      end loop;      
   end True_Table_Initialize;
   
   
end Libsens.Virtual.Aux;