The function IlcSolveBounds efficiently reduces the domain of a constrained floating-point expression, regardless of whether the expression is written in canonical or factored form. One version of this function works on a constrained floating-point variable (that is, an instance of IlcFloatVar); the other works on an array of constrained floating-point variables (that is, an instance of IlcFloatVarArray).

This function reduces the domain of its argument by propagating constraints more than usual. It checks whether the boundaries of the domain of its argument are consistent with all the constraints posted on its argument. If that is not the case, the interval will be reduced until the boundaries become consistent up to the relative precision indicated by the argument prec. That argument can be used to control the execution of this function. If prec is small, the new domain computed by IlcSolveBounds will be smaller. However, the smaller prec, the longer IlcSolveBounds will take.

For more information, see the concept Propagation.