Lines Matching refs:Random_Discrete

82    function Random_Discrete  subprogram
88         new System.Random_Numbers.Random_Discrete  argument
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);