Download OPL Language Reference Manual

The no overlap constraint
The no overlap constraint on an interval sequence variable p states that the sequence
defines a chain of non-overlapping intervals, any interval in the chain being
constrained to end before the start of the next interval in the chain. This constraint
is typically useful for modelling disjunctive resources.
More formally, the condition for a permutation value
the noOverlap constraints is defined as:
for sequence p to satisfy
If a transition distance matrix M is specified, it defines the minimal non-negative
distance that must separate two consecutive intervals in the sequence.
More formally, if T(p,a) denotes the non-negative integer type of interval a in the
sequence variable p:
A sequence variable together with a no-overlap constraint using it are illustrated in
this figure:
Syntax and examples
For syntax and examples of use of the sequence interval variable, see sequence in
the OPL Language Quick Reference.
For the syntax and examples of use of the no overlap constraint, which needs to be
defined as a set of integer triples, see noOverlap in the OPL Language Quick
Reference.
80
OPL Language Reference Manual