Type::SetOf -- type for testing
sets
Introduction describes sets of
elements of type Type::SetOf(obj_type)obj_type.
Call(s)testtype(obj, Type::SetOf(obj_type <, min_nr <,
max_nr>>))
Parametersobj |
- | any MuPAD object |
obj_type |
- | the type of the objects; a type can be an object of
the library Type or one
of the possible return values of domtype and type |
min_nr |
- | the minimal number of objects as nonnegative integer |
max_nr |
- | the maximal number of objects as nonnegative integer |
Returnssee testtype
Related
Functionstesttype, Type::ListOf, Type::Union, DOM_SET
Detailstesttype(obj,
Type::SetOf(obj_type)) checks, whether obj is
a set with elements of the given type
obj_type. If it is, the function returns TRUE, otherwise FALSE.DOM_SET.obj_type <, min_nr
<, max_nr>>.
The two optional parameters min_nr and
max_nr determine the minimum and maximum number of
elements in the analysed set. If the numbers are not be given, the
number of elements in the set will not be checked. If only the minimum
is given, the set must contain at least min_nr elements
for the test to succeed.
Example
1Is the given set a set of identifiers?
>> testtype({a, b, c, d, e, f}, Type::SetOf(DOM_IDENT))
TRUE
Is the given set a set of at least five real numbers?
>> testtype({0, 0.5, 1, 1.5, 2, 2.5, 3}, Type::SetOf(Type::Real, 5))
TRUE
Example
2testtype is used to select sets with exactly two idetifiers:
>> S := {{a}, {a, b}, {d, 1}, {0, d}, {e}, {d, e}}:
select(S, testtype, Type::SetOf(DOM_IDENT, 2, 2))
{{d, e}, {a, b}}