Implementation of time constraints

 同じ発想で、時間制約を実装します。

[132:144]なので、1/2で公約して、[66:72]での終端となります。

MDDのDOTグラフです。instance13 staff0の時間制約のMDDになります。係数[8:10:12]時間は、公約して[4:5:6]係数となります。各係数に対してその個数を前述の累計加算器で、加算し、取り得る範囲について、MDDグラフを作成します。各累計加算結果は、グラフ縮小効果により限定されます。初段は、係数6、

中段は、5x加算器、終段に係数4x加算器を結果を加算して、[66:72]範囲に終端します。