Lines Matching refs:Random_Discrete
82 function Random_Discrete
88 new System.Random_Numbers.Random_Discrete
92 end Random_Discrete;
109 function R is new Random_Discrete (Integer_128, IntV'First);
119 function R is new Random_Discrete (Integer_64, IntV'First);
129 function R is new Random_Discrete (Integer_32, IntV'First);
151 function R is new Random_Discrete (Integer_128, IntV'First);
161 function R is new Random_Discrete (Integer_64, IntV'First);
171 function R is new Random_Discrete (Integer_32, IntV'First);
223 function Random_Long_Integer is new Random_Discrete (Long_Integer);
229 function Random_Integer is new Random_Discrete (Integer);