Awali
Another Weighted Automata library
|
Go to the source code of this file.
Namespaces | |
awali | |
Main namespace of Awali. | |
awali::internal | |
Namespace containing implementation details of elements common to sttc and dyn layers (not stable). | |
Functions | |
template<typename M > | |
M::genset_t::letter_t | awali::internal::to_letter_of (M const &set, const std::string &str) |
template<typename M > | |
M::value_t | awali::internal::to_value_of (M const &set, const std::string &str) |
template<typename M > | |
M::genset_t::word_t | awali::internal::to_word_of (M const &set, const std::string &str) |