[ library(ic) | Reference Manual | Alphabetic Index ]


Sets the propagation threshold.
New threshold (float)


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

See Also

get_threshold / 1, set_threshold / 2