Public Types | Public Member Functions

fst::NaturalLess< W > Class Template Reference

#include <fst/weight.h>

List of all members.

Public Types

typedef W Weight

Public Member Functions

 NaturalLess ()
bool operator() (const W &w1, const W &w2) const

Detailed Description

template<class W>
class fst::NaturalLess< W >

NATURAL ORDER

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.

Definition at line 125 of file weight.h.


Member Typedef Documentation

template<class W>
typedef W fst::NaturalLess< W >::Weight

Definition at line 127 of file weight.h.


Constructor & Destructor Documentation

template<class W>
fst::NaturalLess< W >::NaturalLess (  )  [inline]

Definition at line 129 of file weight.h.


Member Function Documentation

template<class W>
bool fst::NaturalLess< W >::operator() ( const W &  w1,
const W &  w2 
) const [inline]

Definition at line 136 of file weight.h.


The documentation for this class was generated from the following file:
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Defines