
ldsb_try_set(+X, ++Value, ?Success)

   Try including a value in an LDSB set variable.

Arguments
   X                   Variable to try
   Value               Value to try
   Success             Whether the inclusion succeeded or not

Type
   library(ldsb)

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
