[ library(ic) | 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

Fail Conditions

Var is not a variable or a number.