如何锁定模式并在元组中调用模式 1？

Question

我尝试重新安排 model。

1. 我想在第 1-7 天选择模式 1

2. 如果 m.costprod*m.pt <= value 所以不要选择模式 1。我已经写了约束。 但这并不严格，我已经更改了值，但结果仍然相同。 如何通过选择模式使其更加刚性

   元组任务 { 关键 int id; {int} 成功； 诠释相关日期； } {任务} 任务 =...;

    tuple Mode { key int taskId; key int id; int pt; int costprod; int dmdIntRes [IntRes]; int dmdExtRes [ExtRes]; int ExtCost; } {Mode} Modes =...; dvar interval Taskss [t in Tasks] in t.RelDate..EndMax; dvar interval mode[m in Modes] optional size m.pt; dexpr int totalExtCost = sum(m in Modes) presenceOf(mode[m])* m.ExtCost * m.pt; cumulFunction IntResUsage[r in IntRes] = sum (m in Modes: m.dmdIntRes[r]>0) pulse(mode[m], m.dmdIntRes[r]); cumulFunction ExtResUsage[r in ExtRes] = sum (m in Modes: m.dmdExtRes[r]>0) pulse(mode[m], m.dmdExtRes[r]); execute { cp.param.FailLimit = 10000; } minimize max(t in Tasks) endOf(Taskss[t]); subject to { forall (t in Tasks, m in Modes) { alternative(Taskss[t], all(m in Modes: m.taskId==t.id) mode[m]); } forall (t in Tasks, m in Modes) (sum(t in Tasks)sum(m in Modes) m.costprod * m.pt <= 559717712 in 0..NbDays-14);= presenceOf(mode[first(Modes)]); forall (m in Modes) totalExtCost <= 2000000; forall (r in IntRes) IntResUsage[r] <= CapIntRes[r]; forall (r in ExtRes) ExtResUsage[r] <= CapExtRes[r], forall (t1 in Tasks. t2id in t1,succs) startBeforeEnd (Taskss[t1]; Taskss[<t2id>]); }