[ 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