This function creates and returns a goal. The goal efficiently reduces the domain of the floating-point variable var (or all the domains of all the floating-point variables in the array vars) by propagating any constraints on var more than usual. It checks whether the boundaries of the domain of var are consistent with all the constraints posted on var. If that is not the case, then it reduces an interval around var until the boundaries become consistent up to the precision indicated by precision.

This function works on numerical variables of type Float and type Int.

Use precision to control the effect of this function: if precision is small, the new domain computed by IloGenerateBounds will be smaller. However, the smaller precision, the longer the computation will take.

When it takes an instance of the class IloEnv as a parameter, it returns an instance of IloGoal for use with the member functions IloSolver::startNewSearch and IloSolver::solve. An instance of IloSolver extracts the goal that it returns as an instance of IlcGoal for use during a Solver search.