
reals(?Vars)

   Vars' domain is the real numbers.

Arguments
   Vars                Variable or number, or a list or submatrix of variables/numbers

Type
   library(ic)

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 real number (floating
   point or bounded real) or an integer number.  If the variables are already
   instantiated, this call checks that the variable is instantiated to a
   number.


Modes and Determinism
   reals(-) is det
   reals(+) is det

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