[ library(sd) | Reference Manual | Alphabetic Index ]
Instantiate all domain variables in a list to domain values
- A list of domain variables or atomic terms
Instantiate all domain variables in a list to their domain values.
Alternative instantiations are tried on backtracking. This predicate
simply calls indomain/1 on all variable in the given list.
&:: / 2, indomain / 1