[ 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