## `solvelib::isFinite` -- test whether a set is finite

#### Introduction

`solvelib::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)`

#### Parameters

`S` | - | any set

#### Returns

Boolean value

### Overloadable:

`S`

#### Related Functions

`solve`

#### Example 1

A `DOM_SET` is always finite.

    >> solvelib::isFinite({2,5})

                                       TRUE

#### Example 2

The set of integers is infinite.

    >> solvelib::isFinite(Z_)

                                       FALSE

#### Changes

- new function

Do you have questions or comments?
Copyright © SciFace Software GmbH & Co. KG 2000