[ library(fd) | Reference Manual | Alphabetic Index ]
new_domain_var(-Var)
A user hook predicate which is called whenever a variable obtains a default
domain from the solver.
- -Var
- A variable.
Description
   This predicate is a simple hook to notify about free variables being
   converted into domain variables.  Whenever the finite domain solver
   assigns a free variable a domain, it invokes this predicate in the
   module fd_domain with the variable as argument.  To use the mechanism,
   it is necessary to recompile this predicate in the module fd_domain.
Fail Conditions
   None.
Resatisfiable
   No.
Examples
   [eclipse 22]: compile(user, fd_domain).
   new_domain_var(X) :- printf("new domain variable created: %mw%n", [X]).
   user       compiled traceable 88 bytes in 0.00 seconds
   yes.
   [eclipse 23]: X+Y #> T.
   new domain variable created: X[-10000000..10000000]
   new domain variable created: Y[-10000000..10000000]
   new domain variable created: T[-10000000..10000000]
See Also
:: / 2, #:: / 2, default_domain / 1