Trait atlatl::fst::output::Output
[−]
[src]
pub trait Output: Eq + Copy + Hash + Default + Debug { fn zero() -> Self; fn mappend(self, y: Self) -> Self; fn inverse(self, y: Self) -> Self; fn prefix(self, y: Self) -> Self; fn is_zero(self) -> bool { ... } fn mappend_assign(&mut self, y: Self) { ... } fn inverse_assign(&mut self, y: Self) { ... } }
An additive abelian group with a prefix operation.
Required Methods
fn zero() -> Self
The identity element.
fn mappend(self, y: Self) -> Self
The additive operation under which the output forms an abelian group.
fn inverse(self, y: Self) -> Self
The additive operation applied to the inverse of y
.
fn prefix(self, y: Self) -> Self
The longest common prefix of the given values.