[ 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