![]() |
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) |