#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()().