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

is_solver_type(?Term)

The argument is a domain variable or atomic constant
Term
A term

Description

Tests if the argument is a domain variable from this library or a valid domain value (atomic term).

See Also

&:: / 2, is_solver_var / 1