シフト定義







シフト集合





「または」　と　「または(非自動シフト含)」の違い

どちらも、OR演算で違いはありません。違いは、予定にラベルをハード制約として張り付けたときに起こります。

項 　 内容
または 　　 自動シフトがチェックされていないシフトは、割り当てられません
または(非自動シフト含)　 　　 自動シフトがチェックされていないシフトも、割り当てられます

「でない」は、「または(非自動シフト含)」と同じ動きとなります。