[ library(ic_gap_sbdd) | The ECLiPSe Libraries | 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