Ｑ．保健所の監査がありｘｘ日の日勤は10名に増員したい

特別の日の設定で、日勤増員日を指定します。CTLキーを押しながら、日にちをクリックすると複数の日を選択できます。

 

一応、今月とANDを取っておきます。この作業は無くても可です。

１０名以上は、通常制約７名以上に何ら矛盾しません。上のように包含関係にあります。

なので、単純に追加の記述のみでOKです。（包含関係になければ、単純な追加では済みません。）

必要に応じて、ソフトレベルを変えて、実現の優先度を変えます。

特別の日を高くしたときに、通常日に比べて、１０名だけは実現させたい、という意味になりますし、

逆に低くすれば、平日７名キープを優先した上で、

あまり期待しないけれど１０名取得できればラッキー、みたいな意味合いになります。

特別の日は、年間カレンダであり、来月になると、空集合になります。なので、何も制約しないという意味になります。来月のメンテは不要で何ら悪さをすることはありません。必要な月だけ再定義すればよいことになります。

このようにメンテナンスフリーの実装にしておくことを心掛けることが肝要です。大体来月になると、制約の中身は覚えていないので。