[ library(ic_gap_sbdd) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]

# sbdd_indomain(?Var)

Instantiate an integer SBDD variable to an element of its domain

Var
  The (integer) SBDD variable to instantiate, or an integer

## Description

Like indomain/1, but uses sbdd_try/2 to do the instantiation so that the SBDD dominance checks are performed appropriately.

## See Also

ic_symbolic : indomain / 1, fd : indomain / 1, ic : indomain / 1, sd : indomain / 1, sbdd_try / 2, sbdd_labeling / 1