| 概述 | 组 | 树 | 图形 | 不推荐 | 索引 | 概念 |
| 优先顺序约束 |
| 逻辑约束 |
本部分描述调度中的常见约束,即优先顺序约束。 非正式地讲,这些约束条件限制了区间变量在解决方案中的相对位置。 例如,优先级约束可以模拟这样一个事实,即活动 "a必须在活动 "b开始之前结束(可选择延迟时间最小为 "z)。 如果优先级约束的一个或两个区间变量都不存在,则系统认为优先级为真,因此不会影响进度。
更正式地说,关系TC(
, '
,z) 在一对固定区间 a、b 上的语义,以及对取决于约束类型TC的值z 的语义,如表 1 所示。

区间变量的存在状态可以通过逻辑约束进一步限制。 存在约束条件 presenceOf(a)规定,给定区间变量必须存在。 当然,这种约束也可用于逻辑约束中;例如,可能有两个可选区间a和b,但如果区间a存在,那么区间b也必须存在。 这可以通过约束条件presenceOf(a)'
presenceOf(b) 来模拟。
固定区间 "
的存在约束语义如下
presenceOf(
) '
x(
)