[ library(ic_gap_sbdd) | Reference Manual | Alphabetic Index ]
sbdd_try_set(+Var, ++Value, ++Bool, ?Success)
Try adding/excluding a value to/from an SBDD set search variable
- Var
- The set variable to use
- Value
- The value to try
- Bool
- Whether to add or exclude the value first
- Success
- Whether the assignment succeeded or not
Description
Like sbdd_try_set/3, but assign 1 to Success if we have Value in Var, and
assign 0 if we have Value notin Var (effectively, Success reflects the
truth of Value in Var when the predicate succeeds).
See the documentation for sbdd_try_set/3 for more details.
See Also
sbdd_initialise_set / 5, sbdd_try_set / 3, sbdd_try / 3