Array.equal()

• << Z3 Home
• Z3 Language Documentation
• 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

• equalvalues
• fillwith
• aggregate