Array.is2d()

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

Array.is2d()

Checks the dimension is two dimension or not.

[[1,2],[9,8]].is2d() = true

1..10.is2d() = false

See Also

Is1d