[ library(ic_gap_sbds) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]

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

Try adding/excluding a value to/from an SBDS 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 sbds_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 sbds_try_set/3 for more details.

See Also

sbds_initialise_set / 5, sbds_try_set / 3, sbds_try / 3