(array)
| 370 | array.reset("Distinct data, size %d" % size) |
| 371 | |
| 372 | def randomize(array): |
| 373 | array.reset("Randomizing") |
| 374 | n = array.getsize() |
| 375 | for i in range(n): |
| 376 | j = random.randint(0, n-1) |
| 377 | array.swap(i, j) |
| 378 | array.message("Randomized") |
| 379 | |
| 380 | def insertionsort(array): |
| 381 | size = array.getsize() |