Trait rustfst::semirings::WeaklyDivisibleSemiring

source · 
pub trait WeaklyDivisibleSemiring: Semiring {
    fn inverse(&self) -> Self;
    fn divide(&self, rhs: &Self) -> Self;
}
Expand description

A semiring is said to be divisible if all non-0 elements admit an inverse, that is if S-{0} is a group. (S, +, *, 0, 1) is said to be weakly divisible if for any x and y in S such that x + y != 0, there exists at least one z such that x = (x+y)*z. For more information : https://cs.nyu.edu/~mohri/pub/hwa.pdf

Required Methods

Inverse for the * operation

Implementors