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

sbdd_try(+Var, ++Value)

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

Description

Make an SBDD 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 sbdd_initialise/5.

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

See Also

sbdd_initialise / 5, sbdd_try / 3