2 Why We Need Model-Based Testing

Appendices 295
Forall(Predicate)
Universal quantification. Returns true if the predicate holds for all elements of
the set and false otherwise.
Intersect(Set)
Set intersection. Same as operator *. This is the set of all elements shared by the
current set and the set given as the argument.
IsProperSubsetOf(Set)
Proper superset relation.
IsProperSupersetOf(Set)
Proper subset relation.
IsSubsetOf(Set)
Subset relation.
IsSupersetOf(Set)
Superset relation.
Maximum()
Returns the greatest value in the set under the term ordering defined by Compare-
Values(Object, Object).
Minimum()
Returns the least value in the set under the term ordering defined by Compare-
Values(Object, Object).
Reduce(Reducer, S)
Iteratively applies a reducing function to map a set into a single summarized
value.
Remove(T)
Returns a set containing every element of this set except the value given as a
parameter. If value is not in this set, then returns this set.
Union(Set)
Same as operator + (set union).
etc. . . .
Many more methods are described in the library documentation.
Properties
The following entries describe some of the properties of this type. Several more are
described in the library documentation.
Count
Returns the number of elements in the set (also known as the cardinality of the
set).
more free ebooks download links at:
http://www.ebook-x.com