The function IlcGenerateBounds creates a goal that will try to reduce the bounds of variables.
IlcGenerateBounds
For more information, see the concept Propagation.
See Also:
IlcFloatVar, IlcFloatVarArray, IlcSolveBounds