Awali
Another Weighted Automata library
Namespaces | Functions
to_value_of.hxx File Reference
#include <string>
#include <sstream>
#include <awali/common/parse_exception.hh>

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)