Struct LazySplayTree

pub struct LazySplayTree<M: Monoid, A: Act<M>> { /* private fields */ }

遅延スプレー木

Implementations

impl<M: Monoid + Clone, A: Act<M> + Clone> LazySplayTree<M, A>

where M::Element: Clone, A::Element: Clone + PartialEq,

pub fn new(monoid: M, act: A) -> Self

LazySplayTree<A>を生成

pub fn singleton(monoid: M, act: A, value: M::Element) -> Self

値valueをもつノード一つのみからなるSplayTree<M>を生成

pub fn len(&self) -> usize

スプレーツリーの要素数を返す

pub fn is_empty(&self) -> bool

スプレーツリーが要素を持たなければtrueを返す

pub fn get(&self, index: usize) -> Option<&M::Element>

index番目の要素の参照を返す

pub fn set(&mut self, index: usize, value: M::Element)

index番目の要素をvalueに変更する

pub fn merge_right(&mut self, right: Self)

右側にスプレーツリーを結合する

pub fn merge_left(&mut self, left: Self)

左側にスプレーツリーを結合する

pub fn split(self, index: usize) -> (Self, Self)

左側にindex個の要素があるように、左右で分割する

pub fn insert(&mut self, index: usize, value: M::Element)

要素をindex番目になるように挿入する

pub fn remove(&mut self, index: usize) -> Option<M::Element>

index番目の要素を削除して、値を返す

pub fn reverse(&mut self, _: Range<usize>)

start..endの範囲を反転させる

pub fn fold(&self, _: Range<usize>) -> M::Element

start..endの範囲でのモノイドの演算の結果を返す

pub fn update(&self, _: Range<usize>, lazy: A::Element)

start..endの範囲にモノイドの演算を施す。

pub fn push_first(&mut self, value: M::Element)

先頭に値を追加する

pub fn push_last(&mut self, value: M::Element)

末尾に値を追加する

pub fn pop_first(&mut self) -> Option<M::Element>

先頭の値を削除する

pub fn pop_last(&mut self) -> Option<M::Element>

末尾の値を削除する