[ library(ic_gap_sbds) | Reference Manual | Alphabetic Index ]
sbds_labeling(?List)
Instantiate all integer SBDS variables in a list to elements of their domains
- List
- A list of integer SBDS variables or integers
Description
Like labeling/1, but uses sbds_indomain/1 to do the instantiation so that
the SBDS algorithms are invoked appropriately.
See Also
ic : labeling / 1, gfd : labeling / 1, sd : labeling / 1, fd : labeling / 1, sbds_indomain / 1