writer
6,694
edits
Changes
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..."
*[[ Z3 | << Z3 Home ]]
*[[ Z%5E3_Language_Documentation | Z3 Language Documentation]]
*[[ Z%5E3_Array_Manipulation_Member_Functions | Listing of Z3 Array Manipulation Member Functions]]
==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
==See Also==
*[[Array.equalvalues() |equalvalues ]]
*[[Array.fillwith() | fillwith]]
*[[Array.aggregate() | aggregate]]
*[[ Z%5E3_Language_Documentation | Z3 Language Documentation]]
*[[ Z%5E3_Array_Manipulation_Member_Functions | Listing of Z3 Array Manipulation Member Functions]]
==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
==See Also==
*[[Array.equalvalues() |equalvalues ]]
*[[Array.fillwith() | fillwith]]
*[[Array.aggregate() | aggregate]]