Awali
Another Weighted Automata library
|
#include <exp_parser.hh>
Public Types | |
using | context_t = context_t_of< ratexpset_t > |
using | labelset_t = labelset_t_of< context_t > |
using | ratexp_t = typename ratexpset_t::value_t |
using | ratexpset_t = RatExpSet |
using | weightset_t = weightset_t_of< ratexpset_t > |
Public Member Functions | |
exp_parser (const ratexpset_t &rs, const std::string &s, bool strict_alphabet) | |
exp_parser (const ratexpset_t &rs, const std::string &s, size_t &p, bool strict_alphabet) | |
size_t | getPos () |
void | ignore () |
ratexp_t | parseA () |
ratexp_t | parseE () |
ratexp_t | parseL () |
ratexp_t | parseP () |
ratexp_t | parseR () |
ratexp_t | parseS () |
template<typename F , typename S > | |
ratexp_t | parseSqrBrkt (const letterset< set_alphabet< pair_letters< F, S >>> &) |
template<typename T > | |
ratexp_t | parseSqrBrkt (const T &) |
template<typename... T> | |
ratexp_t | parseSqrBrkt (const tupleset< T... > &) |
template<typename T > | |
ratexp_t | parseSqrBrkt (const wordset< T > &) |
Data Fields | |
size_t | p_ |
using awali::sttc::internal::exp_parser< RatExpSet >::context_t = context_t_of<ratexpset_t> |
using awali::sttc::internal::exp_parser< RatExpSet >::labelset_t = labelset_t_of<context_t> |
using awali::sttc::internal::exp_parser< RatExpSet >::ratexp_t = typename ratexpset_t::value_t |
using awali::sttc::internal::exp_parser< RatExpSet >::ratexpset_t = RatExpSet |
using awali::sttc::internal::exp_parser< RatExpSet >::weightset_t = weightset_t_of<ratexpset_t> |
awali::sttc::internal::exp_parser< RatExpSet >::exp_parser | ( | const ratexpset_t & | rs, |
const std::string & | s, | ||
bool | strict_alphabet | ||
) |
awali::sttc::internal::exp_parser< RatExpSet >::exp_parser | ( | const ratexpset_t & | rs, |
const std::string & | s, | ||
size_t & | p, | ||
bool | strict_alphabet | ||
) |
size_t awali::sttc::internal::exp_parser< RatExpSet >::getPos | ( | ) |
void awali::sttc::internal::exp_parser< RatExpSet >::ignore | ( | ) |
ratexp_t awali::sttc::internal::exp_parser< RatExpSet >::parseA | ( | ) |
ratexp_t awali::sttc::internal::exp_parser< RatExpSet >::parseE | ( | ) |
ratexp_t awali::sttc::internal::exp_parser< RatExpSet >::parseL | ( | ) |
ratexp_t awali::sttc::internal::exp_parser< RatExpSet >::parseP | ( | ) |
ratexp_t awali::sttc::internal::exp_parser< RatExpSet >::parseR | ( | ) |
ratexp_t awali::sttc::internal::exp_parser< RatExpSet >::parseS | ( | ) |
ratexp_t awali::sttc::internal::exp_parser< RatExpSet >::parseSqrBrkt | ( | const letterset< set_alphabet< pair_letters< F, S >>> & | ) |
ratexp_t awali::sttc::internal::exp_parser< RatExpSet >::parseSqrBrkt | ( | const T & | ) |
ratexp_t awali::sttc::internal::exp_parser< RatExpSet >::parseSqrBrkt | ( | const tupleset< T... > & | ) |
ratexp_t awali::sttc::internal::exp_parser< RatExpSet >::parseSqrBrkt | ( | const wordset< T > & | ) |
size_t awali::sttc::internal::exp_parser< RatExpSet >::p_ |