Array.reversesort()

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

Array.reversesort(Function)

Sorting the arrays in the reverse order.Reverse means first array element becomes the last, and the last array element becomes the first.But reversesort() will change the original array value.

a=1..10; a.reversesort() a;

10 9 8 7 6 5 4 3 2 1

[1,2,3,4,53,3,2,2].reversesort()

53 4 3 3 2 2 2 1

See Also

reverse

backward