[ library(ic_gap_sbds) | The ECLiPSe Libraries | 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

fd : labeling / 1, ic : labeling / 1, sd : labeling / 1, sbds_indomain / 1