[ 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