[ library(ic_gap_sbds) | Reference Manual | Alphabetic Index ]
Try assigning a value to an SBDS search variable
- The variable to use
- The value to try
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
Use sbds_try/3 if you wish to know which is the currently successful
branch (Var #= Value or Var #\= Value).
sbds_initialise / 5, sbds_try / 3