Array.outer()

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

Array.outer(OuterSize)

• 1..100.outer() displays outer 2 elements.
• 1..100.outer() = 1 100
• 1..100.outer(2) gives outer including some (2 here) elements.
• 1..100.outer(2) = 1 2 99 100

See Also

• AllSlices
• Inner
• Chunks