Creates and returns an or
goal from four arguments.
The or
goal composed from the goals passed as parameters.
This goal creates one child node for each argument. For each child, it copies the goal stack of the current node to the child, and then it pushes the appropriate goal from the argument list onto that goal stack. The goal then deactivates the current node, which will cause Cplex
to pick a new active node from the branch-and-cut tree to process next.