[ library(sd) | Reference Manual | Alphabetic Index ]
is_exact_solver_var(?Term)
The argument is a domain variable
- Term
- A term
Description
Tests if the argument is a domain variable from this library.
An alias for is_solver_var/1, used by lib(propia).
See Also
is_solver_var / 1