[ library(ic) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]
# reals(?Vars)

Vars' domain is the real numbers.
*Vars*
- Variable or number, or a list or submatrix of variables/numbers

## Description

Constrain the domain of the variables to be the real numbers. This is
the default, so the declaration is optional.

Note that the notion of real numbers is used here in the pure
mathematical sense, where real numbers subsume the integers. A variable
of type real can therefore be instantated to either a floating point or
an integer number (or a bounded real). If the variables are already
instantiated, this call checks that the variable is instantiated to a
number.

### Modes and Determinism

- reals(-)
- reals(?)
- reals(+)

## See Also

integers / 1, ic_kernel : reals / 1, suspend : reals / 1, eplex : reals / 1