These functions return instances of IlcGoal that sequence instances of IlcUnaryResource from their teardown activity to their setup activity (sequencing in reverse). The involved resources must be instances of IlcUnaryResource, closed, and with their precedence graph constraints posted.

When the argument resource is given, the function returns an instance of IlcGoal that sequences resource.

When the argument schedule is given, all the closed unary resources of schedule with a posted precedence graph constraint are successively sequenced in reverse according to the resource selector argument resSel. By default, the resource selector is defined as follows:

 IloSelector<IlcResource,IlcSchedule> resSel(!IlcResourceSequencedPredicate(solver),
                                  IlcResourceGlobalSlackEvaluator(solver));

The resource constraint selector prevSelect selects a resource constraint that is a possibly previous to the lastly sequenced backward resource constraint. The instance of IlcResourceConstraint in the context of this selector represents the lastly sequenced backward resource constraint. At the begining of the search when no resource constraint has been sequenced backward, the search goal passes the sequence virtual node of the resource as context. See IlcUnaryResource::getVirtualNodeRC. When it is not specified, the previous selector object used by default selects the possibly previous resource constraint with the biggest maximal end time, using the biggest minimal start time to break ties.

If the argument criterion is given, then this variable will be bound, if possible, to its minimal value at the end of the search.

For more information, see Sequence Constraint.