
sbds_labeling(?List)

   Instantiate all integer SBDS variables in a list to elements of their domains

Arguments
   List                A list of integer SBDS variables or integers

Type
   library(ic_gap_sbds)

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
