放射線技師プロジェクト
あるユーザさまのプロジェクトを最近の記述スタイルに変更し、一般化しました。
詳しくは、プロジェクトの中身をご覧頂くこととして、最近の記述スタイルに関わる部分でのトピックについて見ていきます。
スタッフ毎のシフトの設定
このプロジェクトのように、多数の仕事をシフトで記述する場合には、担当可能な仕事という意味で、疎なシフトになるのが通例です。
このシフトは、ハード制約です。下の二つのオプションにチェックを入れておくことをお勧めします。
また、チェックを外す際は、下のようにコンボBoxを設定しておくと、設定し易くなると思います。

7年未満の組み合わせを禁止する
二つの記述スタイル、AならばB と リニアペア制約を用いる方式が可能です。 どちらで記述しても大差ありません。 いずれも、まずは、集合の定義を行います。


リニアペア制約による記述です。

AならばBによる記述です。

休みに夜勤したら、代休を取得する
ΣA[i] == ΣB[i] 同値カウントを使います。

プロジェクト
プロジェクトは、以下です。
ダウンロード
して、実装の参考にしてください。
