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).
296 Modeling Library Reference
IsEmpty
Returns true if the set has no elements. Returns false otherwise.
etc. . . .
Fields
EmptySet
(Static.) The empty set of sort T.
Remarks
Set is an immutable type. Add/remove operations return a new set. Comparison for
equality uses Object.Equals.
Formally, this data type denotes a pair (elementType, untyped set of values),
where the element type is given by the type parameter T. As a consequence, sets are
equal only if they are of the same sort (element type) and contain the same elements.
For example, Set.EmptySet != Set.EmptySet.
A.2.3 Map
Map
A finite mapping of keys to values.
Pages:
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384