Templates
Description
fd_var(Term) succeeds if Term is currently an FD variable.
non_fd_var(Term) succeeds if Term is currently not an FD variable (opposite of fd_var/1).
generic_var(Term) succeeds if Term is either a Prolog variable or an FD variable.
non_generic_var(Term) succeeds if Term is neither a Prolog variable nor an FD variable (opposite of generic_var/1).
Errors
None.
Portability
GNU Prolog predicate.