Awali
Another Weighted Automata library
Public Types | Public Member Functions | Data Fields
awali::sttc::internal::exp_parser< RatExpSet > Struct Template Reference

#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_
 

Member Typedef Documentation

◆ context_t

template<typename RatExpSet >
using awali::sttc::internal::exp_parser< RatExpSet >::context_t = context_t_of<ratexpset_t>

◆ labelset_t

template<typename RatExpSet >
using awali::sttc::internal::exp_parser< RatExpSet >::labelset_t = labelset_t_of<context_t>

◆ ratexp_t

template<typename RatExpSet >
using awali::sttc::internal::exp_parser< RatExpSet >::ratexp_t = typename ratexpset_t::value_t

◆ ratexpset_t

template<typename RatExpSet >
using awali::sttc::internal::exp_parser< RatExpSet >::ratexpset_t = RatExpSet

◆ weightset_t

template<typename RatExpSet >
using awali::sttc::internal::exp_parser< RatExpSet >::weightset_t = weightset_t_of<ratexpset_t>

Constructor & Destructor Documentation

◆ exp_parser() [1/2]

template<typename RatExpSet >
awali::sttc::internal::exp_parser< RatExpSet >::exp_parser ( const ratexpset_t rs,
const std::string &  s,
bool  strict_alphabet 
)

◆ exp_parser() [2/2]

template<typename RatExpSet >
awali::sttc::internal::exp_parser< RatExpSet >::exp_parser ( const ratexpset_t rs,
const std::string &  s,
size_t &  p,
bool  strict_alphabet 
)

Member Function Documentation

◆ getPos()

template<typename RatExpSet >
size_t awali::sttc::internal::exp_parser< RatExpSet >::getPos ( )

◆ ignore()

template<typename RatExpSet >
void awali::sttc::internal::exp_parser< RatExpSet >::ignore ( )

◆ parseA()

template<typename RatExpSet >
ratexp_t awali::sttc::internal::exp_parser< RatExpSet >::parseA ( )

◆ parseE()

template<typename RatExpSet >
ratexp_t awali::sttc::internal::exp_parser< RatExpSet >::parseE ( )

◆ parseL()

template<typename RatExpSet >
ratexp_t awali::sttc::internal::exp_parser< RatExpSet >::parseL ( )

◆ parseP()

template<typename RatExpSet >
ratexp_t awali::sttc::internal::exp_parser< RatExpSet >::parseP ( )

◆ parseR()

template<typename RatExpSet >
ratexp_t awali::sttc::internal::exp_parser< RatExpSet >::parseR ( )

◆ parseS()

template<typename RatExpSet >
ratexp_t awali::sttc::internal::exp_parser< RatExpSet >::parseS ( )

◆ parseSqrBrkt() [1/4]

template<typename RatExpSet >
template<typename F , typename S >
ratexp_t awali::sttc::internal::exp_parser< RatExpSet >::parseSqrBrkt ( const letterset< set_alphabet< pair_letters< F, S >>> &  )

◆ parseSqrBrkt() [2/4]

template<typename RatExpSet >
template<typename T >
ratexp_t awali::sttc::internal::exp_parser< RatExpSet >::parseSqrBrkt ( const T &  )

◆ parseSqrBrkt() [3/4]

template<typename RatExpSet >
template<typename... T>
ratexp_t awali::sttc::internal::exp_parser< RatExpSet >::parseSqrBrkt ( const tupleset< T... > &  )

◆ parseSqrBrkt() [4/4]

template<typename RatExpSet >
template<typename T >
ratexp_t awali::sttc::internal::exp_parser< RatExpSet >::parseSqrBrkt ( const wordset< T > &  )

Field Documentation

◆ p_

template<typename RatExpSet >
size_t awali::sttc::internal::exp_parser< RatExpSet >::p_

The documentation for this struct was generated from the following file: