お客さま仕様から制約仕様を読み取る

お客さま仕様

2人の仕事ペアで、夜勤及び休日日勤を行う。

組み合わせは　主任＆常勤、主任＆非常勤、副主任＆常勤、副主任＆非常勤、常勤＆常勤、常勤＆非常勤、
非常勤＆非常勤はできる限り避ける これを表にすると以下のようになります。 　 　 主任 副主任 常勤 非常勤 主任 　 　 ○ ○ 副主任 　 ○ ○ 常勤 ○ ○ ○ ○ 非常勤 ○ ○ ○ ｘ 空欄は、記載されていないのですが、ｘと解釈するべきでしょう。 そうすると、 ■主任は、2人不可 ■副主任も2人不可 ■非常勤も2人不可 2人不可　→　1人MAXです。 これをまとめて、以下のような制約を実装しました。