Array.inner()

<< Z3 Home

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

Array.inner(InnerSize)

• 1..100.inner(2) displaying skip first 2 numbers and give inner elements.
• 1..100.inner(2)=3 4 5 6 7 8 9 10 11 ..98.
• (-100)..10.inner(42) = -58 -57 -56 -55 -54..................-32

See Also

• Outer
• Chunks
• AllSlices