Array.cartesianproduct()
Revision as of 12:29, 4 February 2020 by Joseph (talk | contribs) (Created page with "* << Z3 Home * Z3 Language Documentation * Z%5E3_Array_Manipulation_Member_Functions | Listing of Z3 Array Manipulation Member F...")
Array.cartesianproduct()
Returns cartesian product of each array element in the array.
[1..3,2..3].cartesianproduct()
1 2
1 3
2 2
2 3
3 2
3 3