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

is_solver_var(?Term)

The argument is a domain variable
Term
A term

Description

Tests if the argument is a domain variable from this library.

See Also

&:: / 2, is_solver_type / 1