[ library(ic_gap_sbdd) | Reference Manual | Alphabetic Index ]
sbdd_try(+Var, ++Value, ?Success)
Try assigning a value to an SBDD search variable
- Var
- The variable to use
- Value
- The value to try
- Success
- Whether the assignment succeeded or not
Description
Like sbdd_try/2, but assign 1 to Success if we have set Var #= Value, and
assign 0 if we have set Var #\= Value (effectively, Success reflects the
truth of Var #= Value when the predicate succeeds).
See the documentation for sbdd_try/2 for more details.
See Also
sbdd_initialise / 5, sbdd_try / 2