This function creates and returns a goal. This goal represents the disjunction (that is, logical OR) between its parameters, g1 and g2. The optional argument label is a name for the goal (that is, a label for the choice point). If you do not use a label, you can replace the code IloOrGoal(env, g1, g2) by g1 || g2.

If you would like to represent the disjunction of two constraints (rather than two goals), then you should consider an instance of the class IloOr.

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.