Difference between revisions of "Array.suchthat()"
Jump to navigation
Jump to search
(3 intermediate revisions by one other user not shown) | |||
Line 1: | Line 1: | ||
+ | *[[ Z3 | << Z3 Home ]] | ||
+ | *[[ Z%5E3_Language_Documentation | Z3 Language Documentation]] | ||
+ | *[[ Z%5E3_Array_Manipulation_Member_Functions | Listing of Z3 Array Manipulation Member Functions]] | ||
− | Same as [[Array.filteroncondition() || Array. | + | |
+ | Same as [[Array.filteroncondition() | Array.filteroncondition()]] | ||
+ | |||
+ | Also same as [[Array.collect() | Array.collect()]] |