[ library(ic) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]

# get_solver_type(?Var, -Type)

Retrieve the type of a variable.

Var
  A variable or a number
Type
  Type of Var (real or integer)

## Description

Retrieve the type (the atom 'real' or the atom 'integer') of a variable (or number). If Var has not been declared before, it will be turned into an unrestricted real variable. If Var is a ground number, the type returned will be appropriate for its type (i.e. if it's not an integer, the type returned will be real).

### Modes and Determinism

- get_solver_type(-, -)
- get_solver_type(?, -)
- get_solver_type(++, -)

### Fail Conditions

Var is not a variable or a number.