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]]
==Array.filteroncolumn(Condition, ExtractColumns, FilterOnColumn)==
*ExtractColumns are the columns that are extracted, and filters are applied on FilterOnColumn where condition is satisfied.
1..10.filteroncolumn(">5")
6
7
8
9
10
*[[ Z%5E3_Language_Documentation | Z3 Language Documentation]]
*[[ Z%5E3_Array_Manipulation_Member_Functions | Listing of Z3 Array Manipulation Member Functions]]
==Array.filteroncolumn(Condition, ExtractColumns, FilterOnColumn)==
*ExtractColumns are the columns that are extracted, and filters are applied on FilterOnColumn where condition is satisfied.
1..10.filteroncolumn(">5")
6
7
8
9
10