[ library(ria) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]

set_threshold(++Threshold)

Set the propagation threshold.
Threshold
New threshold (float)

Description

Set the threshold to Threshold which is a small floating-point number. This means any propagation which results in a domain reduction smaller than Threshold will not be executed. The default 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.