Difference between revisions of "Array.deal()"
Jump to navigation
Jump to search
(Created page with "* << Z3 Home * Z3 Language Documentation * Z%5E3_Array_Manipulation_Member_Functions | Listing of Z3 Array Manipulation Member F...") |
|||
Line 33: | Line 33: | ||
− | Same as [[ | + | Same as [[ DEAL | DEAL]] |
Latest revision as of 15:17, 4 February 2020
Array.deal(Within, ManyInEach)
Generates random numbers Within each element of the array.
Example
1..10.deal(2,2)
0.45677381167282016 1.2912210146678946
1.678483078175954 0.9940817473692731
0.8495981147041207 0.17188764131356393
0.19869837520315192 0.037560712198077884
0.48625925520002866 0.15362671888356427
0.33311439231642925 0.4404768956915861
0.20958448207718217 0.7455564717395715
0.3682225743396961 0.3640860010269864
0.5991209271170721 1.2294092172845525
0.6372388604935781 1.0256391312143203
Same as DEAL