Private _imapPrivate _chopPrivate _insertPrivate _merge_Invariance を統合
計算量: this の時刻区間数 k source の時刻区間数 n this の各時刻区間範囲内の source の時刻区間数 m (平均値) merged_imap の時刻区間数 p
findSuccessor() を O(1) と考えたとき O(k * (m * log p + log n))
複製を取得
this と同じ内容のインスタンスを生成する。
計算量: 時刻区間数 n に対して O(n)
this の複製
選択範囲に絞った不変性情報を取得
interval で指定した選択範囲と交差する一定値時刻区間を選択して、新しい不変性情報のインスタンスを返す。
範囲を狭めた不変性情報
選択範囲
時刻区間の消去
this が持っているすべての同一値時刻区間から interval の時刻区間部分を消去する。
イメージ的には write() で重ねた色の interval 部分を透明にする。
this
時刻区間
同一値の時刻区間を上書き
this が持っているすべての同一値時刻区間に interval の時刻区間部分を上書きする。
イメージ的には interval 部分に毎回新しい色を重ねていく。最終的にできた各色の区間を同一値の時刻区間と見なす。
this
同一値を持つ時刻区間
Static merge複数の Invariance を統合
invariances のすべての同一値時刻区間の共通区間を持った Invariance インスタンスを生成する。
統合結果
統合元のリスト
アニメーション関数値の不変性情報
Curve のサブクラスの実装者が、アニメーション関数値が一定となる時刻区間を表明するために利用するクラスである。
See
Curve.getInvariance