2 Why We Need Model-Based Testing

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. This type is immutable and uses structural
equality. Add/remove operations return a new map.
Syntax
public sealed class Map : CollectionValue
Constructors
The following entries describe some of the constructors of this type. Several more
are described in the library documentation.
Map()
Default constructor. The static field Map.EmptyMap is preferred and should
be used instead of this constructor.
Map(T,S)
Creates a map from the key and value given as arguments.
Map(IEnumerable)
Creates a map from pairs of keys and values.
Map(Pair[])
Creates a map with a params array of key/value pairs.
etc. . . .
more free ebooks download links at:
http://www.ebook-x.com