
is_integer_domain(?Term)

   Succeeds if Term is a domain variable with an integer domain.



Arguments
   ?Term               A Prolog term.

Type
   library(fd)

Description
   This predicate is used to test if a term is a domain variable with an
   integer domain.




Fail Conditions
      Fails if Term is not an integer domain variable.



Resatisfiable
      No.

See Also
   is_domain / 1, :: / 2, #:: / 2
