Difference between revisions of "Array.subtract"
Jump to navigation
Jump to search
(Created page with "* << Z3 Home * Z3 Language Documentation * Z%5E3_Array_Manipulation_Member_Functions | Listing of Z3 Array Manipulation Member F...") |
|||
| Line 18: | Line 18: | ||
==See Also== | ==See Also== | ||
[[Array.add]] | [[Array.add]] | ||
| + | |||
[[Array.subtract]] | [[Array.subtract]] | ||
| + | |||
[[Array.multiply]] | [[Array.multiply]] | ||
| + | |||
[[Array.divide]] | [[Array.divide]] | ||
| + | |||
[[Array.div]] | [[Array.div]] | ||
| + | |||
[[Array.setunit]] | [[Array.setunit]] | ||
Revision as of 12:49, 1 March 2017
Array.subtract(Thing)
Array add a Thing to each element.
[[1,3,4],[2,3,4]].subtract(45)
| -44 | -42 | -41 |
| -43 | -42 | -41 |