
set_threshold(++Threshold)

   Sets the propagation threshold.

Arguments
   Threshold           New threshold (float)

Type
   library(ic)

Description

   Set the threshold to Threshold, which is a small floating-point number.
   Subsequent to this, bounds updates to non-integer variables are only
   performed if the change in the bounds exceeds this threshold (in both
   absolute and relative terms).

   The default threshold is 1e-8.

   Limiting the amount of propagation is important for efficiency.  A higher
   threshold speeds up computations, but reduces precision and may in the
   extreme case prevent the system from being able to locate individual
   solutions.

   Note that if the threshold is reduced using this predicate (requiring a
   higher level of precision), the current state of the system may not be
   consistent with respect to the new threshold.  If it is important that
   the new level of precision be realised for all or part of the system
   before computation proceeds, use set_threshold/2 instead.


Modes and Determinism
   set_threshold(++) is det

See Also
   get_threshold / 1, set_threshold / 2
