Searched refs:Random_Elements (Results 1 – 9 of 9) sorted by relevance
50 package Random_Elements is new packspec53 Gen : Random_Elements.Generator;91 Item (J) := Random_Elements.Random (Gen);106 Random_Elements.Reset (Gen, Init_Random);
30 package Random_Elements is packspec37 Gen : Random_Elements.Generator;109 Random_Elements.Reset (Gen);115 Buffer (J) := Random_Elements.Random (Gen);
204 package Random_Elements is packspec207 Gen : Random_Elements.Generator;227 := Random_Elements.Random (Gen);233 Random_Elements.Reset (Gen, Init_Random);