Home
last modified time | relevance | path

Searched refs:Random_Elements (Results 1 – 3 of 3) sorted by relevance

/AliOS-Things-master/components/SDL2/src/image/external/zlib-1.2.11/contrib/ada/
A Dread.adb50 package Random_Elements is new packspec
53 Gen : Random_Elements.Generator;
91 Item (J) := Random_Elements.Random (Gen);
106 Random_Elements.Reset (Gen, Init_Random);
A Dmtest.adb30 package Random_Elements is packspec
37 Gen : Random_Elements.Generator;
109 Random_Elements.Reset (Gen);
115 Buffer (J) := Random_Elements.Random (Gen);
A Dtest.adb204 package Random_Elements is packspec
207 Gen : Random_Elements.Generator;
227 := Random_Elements.Random (Gen);
233 Random_Elements.Reset (Gen, Init_Random);

Completed in 6 milliseconds