#include <trivial-factor-weight.h>
Public Member Functions | |
Element () | |
Element (StateId s, Weight w) | |
Public Attributes | |
StateId | state |
Weight | weight |
Definition at line 115 of file trivial-factor-weight.h.
|
inline |
Definition at line 116 of file trivial-factor-weight.h.
Definition at line 118 of file trivial-factor-weight.h.
StateId state |
Definition at line 120 of file trivial-factor-weight.h.
Referenced by TrivialFactorWeightFstImpl< A, F >::Final(), TrivialFactorWeightFstImpl< A, F >::ElementEqual::operator()(), and TrivialFactorWeightFstImpl< A, F >::ElementKey::operator()().
Weight weight |
Definition at line 121 of file trivial-factor-weight.h.
Referenced by TrivialFactorWeightFstImpl< A, F >::Final(), TrivialFactorWeightFstImpl< A, F >::ElementEqual::operator()(), and TrivialFactorWeightFstImpl< A, F >::ElementKey::operator()().