Awali
Another Weighted Automata library
|
#include <eval.hh>
Public Member Functions | |
evaluator (const automaton_t &a) | |
void | check (const word_t &word) const |
weight_t | operator() (const word_t &word) const |
awali::sttc::internal::evaluator< Aut >::evaluator | ( | const automaton_t & | a | ) |
void awali::sttc::internal::evaluator< Aut >::check | ( | const word_t & | word | ) | const |
weight_t awali::sttc::internal::evaluator< Aut >::operator() | ( | const word_t & | word | ) | const |
An array indexed by state numbers.