[ library(ldsb) | Reference Manual | Alphabetic Index ]
# ldsb_try_set(+X, ++Value, ?Success)

Try including a value in an LDSB set variable.
*X*
- Variable to try
*Value*
- Value to try
*Success*
- Whether the inclusion succeeded or not

## Description

Tries to include Value in X. Upon
backtracking, excludes Value from X. The value of
Success tells whether the inclusion succeeded; Success is
1 if (Value in X) and 0 if Value has been excluded.

Note that due to the interaction between set
variable searching and value symmetries, using this
predicate in discouraged. Use ldsb_indomain_set/1
instead.

### Resatisfiable

yes
## See Also

ldsb_indomain_set / 1, ldsb_initialise / 2, ldsb_try / 3