Array.shuffle()

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

Array.shuffle()

shuffle the array randomly.

MAGICSQUARE(3)

2	7	6
9	5	1
4	3	8

MAGICSQUARE(3).shuffle()

9	5	1
4	3	8
2	7	6

See Also

random

deal