


[01;34mpackage[m [01;34mbody[m Libsens[31m.[mVirtual[31m.[mAux [01;34mis[m
   
   [01;34mpackage[m Bool_Rand [01;34mis[m [01;34mnew[m Ada[31m.[mNumerics[31m.[m[01;30mDiscrete_Random[m[31m([m[32mBoolean[m[31m);[m
   
   [01;34mprocedure[m [01;30mTrue_Table_Initialize[m[31m([mTrue_Table [31m:[m [01;34min[m [01;34mout[m True_Table_Type[31m)[m [01;34mis[m
      
      Bool_Gen [31m:[m Bool_Rand[31m.[mGenerator[31m;[m
      
   [01;34mbegin[m	 
      Bool_Rand[31m.[m[01;30mReset[m[31m([mBool_Gen[31m);[m
      
      [01;34mfor[m Next_Id [01;34min[m Break_Type'[01;34mRange[m [01;34mloop[m
	 [01;34mfor[m Prev_Id [01;34min[m Break_Type'[01;34mRange[m [01;34mloop[m
	    [01;34mfor[m Category_Id [01;34min[m Category_Index_Type'[01;34mRange[m [01;34mloop[m		  		  
	       [01;30mTrue_Table[m[31m([mCategory_id[31m,[m Prev_id[31m,[m Next_id[31m)[m [31m:=[m 		 
		 Bool_Rand[31m.[m[01;30mRandom[m[31m([mBool_Gen[31m)[m [01;34mor[m Bool_Rand[31m.[m[01;30mRandom[m[31m([mBool_Gen[31m)[m [01;34mor[m
		 Bool_Rand[31m.[m[01;30mRandom[m[31m([mBool_Gen[31m)[m [01;34mor[m Bool_Rand[31m.[m[01;30mRandom[m[31m([mBool_Gen[31m);[m
	    [01;34mend[m [01;34mloop[m[31m;[m
	 [01;34mend[m [01;34mloop[m[31m;[m
      [01;34mend[m [01;34mloop[m[31m;[m      
   [01;34mend[m True_Table_Initialize[31m;[m
   
   
[01;34mend[m Libsens[31m.[mVirtual[31m.[mAux[31m;[m
