
upb(?Var, ++Bound)

   Update (if required) the upper bound of Var.

Arguments
   Var                 Variable or number
   Bound               Upper bound (number)

Type
   library(ic_kernel)

Description

   Primitive for updating the upper bound of Var so that it is at most
   Bound.  A bound update on a variable may fail (when the update empties
   the domain), succeed (possibly updating the variable's bounds), or
   instantiate the variable (in the case where the domain gets restricted to
   a singleton value).  Note that if the variable's type is integer, its
   bounds will always be adjusted to integral values.

   Note that this predicate is intended for use only in implementing
   constraint propagators, and should not be called from ordinary user code
   (use ic:(Var =

   The final and most important difference relates to the execution of
   delayed goals.  If the call to upb/2 results in a bound change, any
   delayed goals suspended on that bound will be scheduled for execution, as
   normal.  However, upb/2 does not call the woken goal scheduler (wake/0),
   so these goals may not be executed immediately.  (It is possible that
   under some circumstances the goals will be executed, if wake/0 is called
   indirectly - one example would be by the unify handler if the variable
   becomes ground - but this should not be relied upon.)  To ensure that the
   goals are eventually executed, the caller should arrange for wake/0 to be
   called at some appropriate point in the subsequent execution.  Please see
   the "Advanced Control Features" section of the User Manual for more
   information about woken goal management.


Examples
   [eclipse 3]: X :: breal(0)..breal(10), lwb(X, 4.5).
X = X{4.5 .. 10.0}
Yes (0.00s cpu)

[eclipse 4]: X :: breal(0)..breal(10), lwb(X, 4.5), integers([X]).
X = X{5 .. 10}
Yes (0.00s cpu)

[eclipse 5]: X :: breal(0)..breal(10), lwb(X, 4.5), integers([X]), upb(X, 5.9).
X = 5
Yes (0.00s cpu)

[eclipse 6]: X :: breal(0)..breal(10), lwb(X, 4.5), upb(X, 4.3).
No (0.00s cpu)


See Also
   lwb / 2, set_ic_bounds / 3
