|bool||operator() (const W &w1, const W &w2) const|
By definition: a <= b iff a + b = a The natural order is a monotonic and negative partial order iff the semiring is idempotent and (left and right) distributive. It is a total order iff the semiring has the path property. See Mohri, "Semiring Framework and Algorithms for Shortest-Distance Problems", Journal of Automata, Languages and Combinatorics 7(3):321-350, 2002. We define the strict version of this order below.
|bool fst::NaturalLess< W >::operator()||(||const W &||w1,|
|const W &||w2|