[ library(ic_global_gac) | Reference Manual | Alphabetic Index ]
matching(+L, -K)
Get a matching between a list of domain variables and their possible values
- L
- A list of integers or domain variables, or a collection a la collection_to_list/2
- K
- A free variable, will be bound to a list of integers
Description
This predicate can be used to get the matching into the user program. Sometimes it is a good starting point for heuristics. It only gets the current matching and does not do any propagation, the matching is not updated when values are removed, the predicate must be called again in the user program if this is required
Fail Conditions
The predicate fails if no matching exists
See Also
alldifferent / 1