[ library(ic_gap_sbdd) | 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