Manuals/calci/ARRAY

ARRAY()

Description

• This function used to create an Array.
• The parameters can be any values.
• We can use the numeric values to create an array.
• Also we can give non numeric values with in double quotes to create an array.
• There are three types of arrays:
  • Indexed arrays - Arrays with numeric index
  • Associative arrays - Arrays with named keys
  • Multidimensional arrays - Arrays containing one or more arrays

Examples

1. ARRAY([[1,2,3],[4,5,6],[7,8,9]])

${\begin{matrix}1&2&3\\4&5&6\\7&8&9\end{matrix}}$

See Also

• ARRAYIFY
• ELEMENTINARRAY
• INARRAY

References

• [1]

• List of Main Z Functions

• Z3 home