[ 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