writer
6,694
edits
Changes
Jump to navigation
Jump to search
Created page with "* << Z3 Home * Z3 Language Documentation * Z%5E3_Array_Manipulation_Member_Functions | Listing of Z3 Array Manipulation Member F..."
*[[ Z3 | << Z3 Home ]]
*[[ Z%5E3_Language_Documentation | Z3 Language Documentation]]
*[[ Z%5E3_Array_Manipulation_Member_Functions | Listing of Z3 Array Manipulation Member Functions]]
==Outer==
*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
*[[ Z%5E3_Language_Documentation | Z3 Language Documentation]]
*[[ Z%5E3_Array_Manipulation_Member_Functions | Listing of Z3 Array Manipulation Member Functions]]
==Outer==
*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