Array.firsthalf()

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

Array.firsthalf()

Gets the first half of the array.

1..5.firsthalf()

1

2

See also

secondhalf