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...") |
|||
| Line 3: | Line 3: | ||
*[[ Z%5E3_Array_Manipulation_Member_Functions | Listing of Z3 Array Manipulation Member Functions]] | *[[ Z%5E3_Array_Manipulation_Member_Functions | Listing of Z3 Array Manipulation Member Functions]] | ||
| − | ==Array.equal()== | + | ==Array.equal(Array, CheckLength, StartFrom)== |
*Comparing the each value in the array and gives true/false. | *Comparing the each value in the array and gives true/false. | ||
*[1..10,2..22].equal([1..10,2..22]) | *[1..10,2..22].equal([1..10,2..22]) | ||
Latest revision as of 00:18, 2 April 2020
Array.equal(Array, CheckLength, StartFrom)
- 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