
is_solver_type(?Term)

   The argument is a domain variable or atomic constant

Arguments
   Term                A term

Type
   library(sd)

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
