[ 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