This function creates and returns a goal in the environment of the constrained numeric variable var and removes value as a possible value from the domain of var.

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.

For more information, see IloNullIntersect.

This function works only on numerical variables of type Int.