仕様から制約を導く2

 休日日勤の仕様です。

共通部と非共通部を意識して、上記をまとめます。

準夜に関係しない制約については、一般制約として列制約で記述します。

準夜に関係している制約のみペア制約で記述します。

一般（通常）制約は、列制約で、特別な場合にペア制約で記述するのが常道です。ペア制約は、一般に重いので、なるべく書かないようにすることを心がけます。