前驱

(函数来自 pyomo.contrib.cp.scheduling_expr.sequence_expressions)

pyomo.contrib.cp.scheduling_expr.sequence_expressions.predecessor_to(before_var, after_var, sequence_var)

创建一个新的 PredecessorToExpression

要求如果‘before_var’和‘after_var’都被调度，则‘before_var’必须是‘sequence_var’指定的序列中‘after_var’的直接前驱。

Parameters:

• before_var (IntervalVar) – 应该被安排为前驱的活动

• after_var (IntervalVar) – 应该被安排为后继活动的活动

• sequence_var (SequenceVar) – 活动的序列