Array.reversesort()
Revision as of 01:06, 30 April 2020 by Devika (talk | contribs) (Created page with "* << Z3 Home * Z3 Language Documentation * Z%5E3_Array_Manipulation_Member_Functions | Listing of Z3 Array Manipulation Member F...")
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