| class MEMBER{ETP,ATP<$CONTAINER{ETP}} |
|---|
| **** | Various membership functions on containers |
| COMPARE{_} |
| count(a: ATP,v:ETP):INT |
|---|
| **** | The number of elements that are `elt_eq' to `v'. Self may be void. |
| count_if(a: ATP,test:ROUT{ETP}:BOOL):INT |
|---|
| **** | The number of elements which satisfy `test'. Self may be void. |
| every(a: ATP,test:ROUT{ETP}:BOOL):BOOL |
|---|
| **** | True if every element of self satisfies `test'. Self may be void. |
| find_if(a: ATP,test:ROUT{ETP}:BOOL):ETP |
|---|
| **** | Use inout Return leftmost element of self which satisfies `test', or void if there is none. Self may be void. |
| notany(a: ATP,test:ROUT{ETP}:BOOL):BOOL |
|---|
| **** | True if none of the elements of self satisfies `test'. Self may be void. |
| notevery(a: ATP,test:ROUT{ETP}:BOOL):BOOL |
|---|
| **** | True if not every element of self satisfies `test'. Self may be void. |
| some(a: ATP,test:ROUT{ETP}:BOOL):BOOL |
|---|
| **** | True if some element of self satisfies `test'. Self may be void. |
| filter!(once a: ATP,once f:ROUT{ETP}:BOOL): ETP |
|---|
| filter_not!(once a: ATP,once f:ROUT{ETP}:BOOL): ETP |
|---|