This function creates and returns a goal that adds successor relations between all pairs of resource constraints on all resources in the model that have a texture measurement. If the argument criterion is given, then this variable will be bound, if possible, to its minimal value at the end of the search.

Each time the goal is executed, the resource and time point with highest criticality is identified and the set of resource constraints, S, that contributed to that criticality are examined. Two resource constraints are identified:

1. The resource constraint, A, with the highest contribution to the critical point that is not a successor or predecessor of all other elements of S.
2. The resource constraint, B, with the highest contribution to the critical point, that is not A, nor a successor or predecessor of A.

A choice point is created using the IlcResourceConstraint::setSuccessor function. The direction of the successor relation (that is, A.setSuccessor(B) or B.setSuccessor(A)) that is explored first is the one that preserves the most local slack between A and B. The reverse successor relation is posted on backtracking.