[ 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