本节介绍两个区间组约束条件。 其主要目的是通过一个 "高层 "区间 "封装 "一组区间变量，从而分层创建模型。 以下是这些限制条件的非正式定义：

• 跨度限制。 约束span(a, ') 表示区间a跨过集合'中的所有区间。 换句话说，区间a与 "中第一个出现的区间一起开始，并与最后一个区间一起结束。
• 另一种限制。 约束 "替代品（a"，""）模拟了 "之间的排他性选择。 如果区间a存在，则正好有一个区间 "存在，a与这个区间一起开始和结束。 The alternative constraint can also specify a non-negative integer cardinality c, 替代品(a, , c), in this case, not 1, but c interval variables will be selected from the set and those c selected intervals will have to start and end together with interval variable a.