Changes

Jump to navigation Jump to search
294 bytes added ,  15:46, 6 March 2017
Created page with "* << Z3 Home * Z3 Language Documentation * Z%5E3_Array_Manipulation_Member_Functions | Listing of Z3 Array Manipulation Member F..."
*[[ Z3 | << Z3 Home ]]
*[[ Z%5E3_Language_Documentation | Z3 Language Documentation]]
*[[ Z%5E3_Array_Manipulation_Member_Functions | Listing of Z3 Array Manipulation Member Functions]]


==Array.colcount() ==

Number of columns in this array.

|4,5|.colcount()

5
See also [[Array.rowcount()]]
2,824

edits

Navigation menu