endBeforeStart
間隔変数の相対位置を制限するための OPL 制約 (スケジューリング)。
| コンテキスト | 型 |
|---|---|
| モデル・ファイル (.mod) |
boolean |
構文
endBeforeStart (a,b[,z]); ここで、 dexpr int z; dvar interval a; dvar interval b;
説明
この制約は、(オプションの時間値 z によって変更された) 特定の間隔変数 a の終了が、特定の間隔変数 b の開始以下である (e(a) + z ≤ s(b)) ことを示します。
優先順位制約の間隔変数の一方または両方が存在しない場合、優先順位は体系的に真と見なされるため、スケジュールには影響しません。
注: メタ制約ではこの制約を使用できません。
例
次の優先順位制約は、間隔 c の終了に 5 x 時間単位を足したものが、間隔 d の開始以下であることを示します。
endBeforeStart(c,d,5);