Difference between revisions of "Array.equal()"
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...") |
(No difference)
|
Revision as of 23:15, 1 April 2020
Array.equal()
- Comparing the each value in the array and gives true/false.
- [1..10,2..22].equal([1..10,2..22])
true
- [32*14,19/3,89%7,98-100].equal([32*14,19/3,89%7,98-100])
true