Array.colcount()

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

Array.colcount()

Number of columns in this array.

|4,5|.colcount()

5

See also

rowcount