Trait wfst::semiring::LeftSemiring

pub trait LeftSemiring { }

∀ a,b,c: c ⊗ (a ⊕ b) = (c ⊗ a) ⊕ (c ⊗ b)

Implementors

• impl<T: Float<T>> LeftSemiring for TropicalWeight<T>
• impl<T: Float<T>> LeftSemiring for LogWeight<T>
• impl<T: Float<T>> LeftSemiring for MinmaxWeight<T>