This function returns a goal that applies the selector s to the search tree defined by the goal g. As the goal handler explores the search tree, it gives successful leaves to the selector. When the tree has been fully explored, the selector is called, and it re-activates the selected nodes.

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.