
sbdd_try_set(+Var, ++Value, ++Bool, ?Success)

   Try adding/excluding a value to/from an SBDD set search variable

Arguments
   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

Type
   library(ic_gap_sbdd)

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
