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

#include <js_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

 js_exp_parser (const ratexpset_t &rs)
 
ratexp_t parseNode (json::node_t const *p)
 

Member Typedef Documentation

◆ context_t

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

◆ labelset_t

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

◆ ratexp_t

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

◆ ratexpset_t

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

◆ weightset_t

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

Constructor & Destructor Documentation

◆ js_exp_parser()

template<typename RatExpSet >
awali::sttc::internal::js_exp_parser< RatExpSet >::js_exp_parser ( const ratexpset_t rs)

Member Function Documentation

◆ parseNode()

template<typename RatExpSet >
ratexp_t awali::sttc::internal::js_exp_parser< RatExpSet >::parseNode ( json::node_t const *  p)

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