This function returns a constraint that states that whenever both interval variables pred and succ are present, interval variable pred must be ordered before interval variable succ (but not necessarily immediately before) in the sequence variable seq.

Note: This constraint cannot be used in a logical constraint.

For more information on interval variable sequencing, see the concept Interval variable sequencing in CP Optimizer.