Manuals/calci/FLATTEN

FLATTEN(Array,ForceFlatten,PreserveBlanks)

• $Array$ is set of values.

Description

• Flattens the cells of a multi-dimensional array into a one-dimensional vector.
• Flat data is described as data which contains values in all cells within the table.

Examples

• FLATTEN([[1,2,3],[9,8,10],[17,13,21]]) = 1 2 3 9 8 10 17 13 21
• FLATTEN([[1,3],[9,2],[10,3],[12,18,1]]) = 1 3 9 2 10 3 12 18 1
• FLATTEN([["a","b","c"],["e","f","g"],["p","q","i"]]) = a b c e f g p q i

See Also

• ENFORCEPOSITIVE
• QUALITATIVEDESCRIPTION

References

• Flatten

• List of Main Z Functions
• Z3 home