Array.equalvalues()

• << Z3 Home
• Z3 Language Documentation
• Listing of Z3 Array Manipulation Member Functions

Array.equalvalues(Array, CheckLength, StartFrom)

• Comparison of set of arrays with its length and values without considering its order.

• [1,2,3].equalvalues([3,2,1,4])

false

• [10,12,13.2].equalvalues([13.2,12,10])

true

See Also

• equal
• fillwith
• aggregate