Array.sortbykey()

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

sortbykey

Sorts the array by the specified key.

Example

a=#TABLE1;

a.sortbykey(0)

See Also

• buckets
• bykey
• AllSlices
• Inner
• Outer
• Chunks