序列表达式

Classes

BeforeInSequenceExpression(args)

表示在给定的SequenceVar指定的序列中,一个IntervalVar发生在另一个之前(如果两者都被调度)

FirstInSequenceExpression(args)

表示指定的IntervalVar是SequenceVar指定的序列中的第一个(如果它被安排了)

LastInSequenceExpression(args)

表示指定的IntervalVar是SequenceVar指定的序列中的最后一个(如果已安排)

NoOverlapExpression(args)

表示在SequenceVar中的IntervalVars没有重叠的表达式(如果它们被安排了)

PredecessorToExpression(args)

表示在给定的SequenceVar指定的序列中,一个IntervalVar是另一个IntervalVar的直接前驱(如果两者都被调度)。

Functions

before_in_sequence(before_var, after_var, ...)

创建一个新的BeforeInSequenceExpression

first_in_sequence(interval_var, sequence_var)

创建一个新的 FirstInSequenceExpression

last_in_sequence(interval_var, sequence_var)

创建一个新的 LastInSequenceExpression

no_overlap(sequence_var)

创建一个新的NoOverlapExpression

predecessor_to(before_var, after_var, ...)

创建一个新的 PredecessorToExpression