2 Why We Need Model-Based Testing

294 Modeling Library Reference
Syntax
public sealed class Set : CollectionValue
Constructors
Set()
Constructs an empty set of type T. The static field Set.EmptySet should be
used instead of this constructor.
Set(IEnumerable)
Constructs a set containing all enumerated elements.
Set(T[])
Constructs a set from the elements given in the argument list.
Methods
The following entries describe some of the methods of this type. Many more are
described in the library documentation.
Add(T)
Returns a set with all of the elements of the current set, plus the value given as
an argument.
BigIntersect(Set)
(Static method.) Distributed intersection. Returns the set that is the intersection
of all the sets contained in the argument value; that is, the result contains the
elements that are shared among all of the sets.
BigUnion(Set)
(Static method.) Distributed set union. Returns a set containing all of the elements
of each set contained in the argument value.
Choose()
Selects an arbitrary value from the current set using internal choice.
Contains(T)
Tests whether the given element is found in the set.
Difference(Set)
Set difference. Same as operator -.
Exists(Predicate)
Existential quantification. Returns true if the predicate holds for at least one
element of the current set.
ExistsOne(Predicate)
Unique quantification. Returns true if the predicate holds for exactly one element
of the set, false otherwise.
more free ebooks download links at:
http://www.ebook-x.com