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()]] | ||