我想强制 CP Optimizer 中的灵活作业车间示例模型，如果将特定模式/元素放在一个序列中，则后继者也必须放在相同的序列中，这意味着在这种情况下，两者都必须在相同的情况下完成机器。我怎样才能创建这样一个条件？预先感谢您的帮助！！
dvar sequence mchs[m in Mchs] in all(md in Modes: md.mch == m) modes[md]
minimize max(j in Jobs, o in Ops: o.pos==jlast[j]) endOf(ops[o]);
subject to {....}