Array.div

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

Array.divide(Thing)

Array div (float version) a Thing to each element.

[[1,3,4],[2,3,4]].div(2)

0.5	1.5	2
1	1.5	2

See Also

Array.add

Array.subtract

Array.multiply

Array.divide

Array.div

Array.setunit