Difference between revisions of "Array.otherthan()"
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...") |
|||
Line 3: | Line 3: | ||
*[[ Z%5E3_Array_Manipulation_Member_Functions | Listing of Z3 Array Manipulation Member Functions]] | *[[ Z%5E3_Array_Manipulation_Member_Functions | Listing of Z3 Array Manipulation Member Functions]] | ||
− | ==Array.otherthan()== | + | ==Array.otherthan(ArrayWithElementsToExclude)== |
+ | Returns the elements except the specified elements. | ||
+ | |||
+ | #1..100.otherthan(2) = 1 3 4 5 6 7 8 9 10.................100 | ||
+ | #1..100.otherthan(2..6) = 1 7 8 9 10 .................100 | ||
+ | |||
+ | ==See Also== | ||
+ | [[Array.numbers() | Numbers]] | ||
+ | |||
+ | [[Array.notinclude()| Notinclude]] |
Latest revision as of 01:40, 16 April 2020
Array.otherthan(ArrayWithElementsToExclude)
Returns the elements except the specified elements.
- 1..100.otherthan(2) = 1 3 4 5 6 7 8 9 10.................100
- 1..100.otherthan(2..6) = 1 7 8 9 10 .................100