タスクカウント新設

 タスク勤務表のフェーズ行制約について新設しました。

最大ー最小パターンでのフェーズは、意味があります。

それに対して、タスクカウントでは、フェーズ0のみに記述します。フェーズは意味がなく、強いて言うと、AnyPhaseということになります。挙動の違いは、以下を見ると明らかです。

シフトとのANDを取ることも可能です。

松本さんの国語は、総計3個です。制約は、シフト１２３以外で2個で、その通りになっています。

タスクカウントにおいて、

■複数パターンは禁止

■Notオペレータは、NoTaskVar以外禁止

■パターン最初の曜日・最後の曜日　サポートしていません

■シフト部は、オプションです。シフトまたは、シフト集合のみでフェーズオブジェクトはサポートしません。NOTオペレータはサポートします。