History of Idiom 15 > diff from v17 to v18
Edit summary for version 18 by :
↷
Version 17
2015-09-03, 13:30:22
Version 18
2015-09-03, 13:30:53
Idiom #15 Pick uniformly a random integer in [a..b]
Pick a random integer greater than or equals to a, inferior or equals to b. Precondition : a < b.
Idiom #15 Pick uniformly a random integer in [a..b]
Pick a random integer greater than or equals to a, inferior or equals to b. Precondition : a < b.