solvelib::isFinite -- test
whether a set is finite
Introductionsolvelib::isFinite(S) returns
TRUE, FALSE, or UNKNOWN
depending on whether S is finite, infinite, or the
question could not be settled.
Call(s)solvelib::isFinite(S)
ParametersS |
- | any set |
ReturnsBoolean value
S
Related
Functions
Example
1A DOM_SET is always finite.
>> solvelib::isFinite({2,5})
TRUE
Example
2The set of integers is infinite.
>> solvelib::isFinite(Z_)
FALSE