Array.is1d()

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

Array.is1d()

Checks the dimension is one dimension or not.

1..10.is1d() = true

[[1,2],[9,8]].is1d() = false

See Also

Is2d