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

sbds_try(+Var, ++Value)

Try assigning a value to an SBDS search variable
Var
The variable to use
Value
The value to try

Description

Make an SBDS search choice. Specifically, try assigning the (integer) value Value to the variable Var; on backtracking exclude the value Value from the domain of Var.

Var should be an element of an array previously initialised using sbds_initialise/5.

Use sbds_try/3 if you wish to know which is the currently successful branch (Var #= Value or Var #\= Value).

See Also

sbds_initialise / 5, sbds_try / 3