View source for Array.secondhalf()

*[[ Z3 | << Z3 Home ]]
*[[ Z%5E3_Language_Documentation | Z3 Language Documentation]]
*[[ Z%5E3_Array_Manipulation_Member_Functions | Listing of Z3 Array Manipulation Member Functions]]


==Array.secondhalf() ==

Gets the second half of the array.

1..5.secondhalf()

{| class="wikitable"|-
| 3 
|-
| 4 
|-
| 5 
|}

==See also==
[[Array.firsthalf() |firsthalf]]