Array.div()

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

Array.div(Thing)

Array divide a Thing to each element.

[[10,23,44],[56,67,38]].div(5)

2	4	8
11	13	7

See Also

subtract

multiply

divide