Public Types | |
typedef std::vector< semiring_elt_t > | weights |
Public Member Functions | |
template<typename A> | |
eval_functor (const AutomataBase< A > &, const auto_t &aut) | |
void | operator() (htransition_t t) |
void | execute (const input_t &word, Selt &result) |
Public Attributes | |
const auto_t & | a |
int | max_hstate |
weights | v1 |
weights | v2 |
weights::const_iterator | w |
input_t::const_iterator | l |
Definition at line 34 of file eval.hxx.