[ 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