[ library(sd) | 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