Array.rowcount()

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

Array.rowcount()

Number of rows in this array.

|4,5|.rowcount()

4

See also

column count