This function creates and returns a goal that always fails. It may be useful when you are searching for all possible ways to execute another goal. The idea is to try all possible subgoals of all choice points by calling this function after each successful execution of the other goal, thus causing backtracking in an instance of IloSolver and launching the search for another execution. You may optionally provide the label of a choice point as an argument to this function.

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.