Array.deal()

• << Z3 Home
• Z3 Language Documentation
• Listing of Z3 Array Manipulation Member Functions

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