Awali
Another Weighted Automata library
Public Types | Public Member Functions | Static Public Member Functions
awali::sttc::rat::json_visitor< RatExpSet, version > Class Template Reference

#include <json_visitor.hxx>

Inheritance diagram for awali::sttc::rat::json_visitor< RatExpSet, version >:

Public Types

using context_t = context_t_of< ratexpset_t >
 
using labelset_t = labelset_t_of< context_t >
 
using node_t = typename super_type::node_t
 
using ratexp_t = typename ratexpset_t::value_t
 
using ratexpset_t = RatExpSet
 
using super_type = typename ratexpset_t::const_visitor
 
using weightset_t = weightset_t_of< ratexpset_t >
 

Public Member Functions

 json_visitor (const ratexpset_t &rs)
 
template<typename T >
json::object_tarray_from_children (T e, std::string const &str)
 
 AWALI_RAT_VISIT (atom, e)
 
 AWALI_RAT_VISIT (lweight, e)
 
 AWALI_RAT_VISIT (one,)
 
 AWALI_RAT_VISIT (prod, e)
 
 AWALI_RAT_VISIT (rweight, e)
 
 AWALI_RAT_VISIT (shuffle, e)
 
 AWALI_RAT_VISIT (star, e)
 
 AWALI_RAT_VISIT (sum, e)
 
 AWALI_RAT_VISIT (zero,)
 
json::object_toperator() (const ratexp_t &v)
 
json::object_tptr ()
 
void set_ptr (json::object_t *x)
 

Static Public Member Functions

constexpr static const char * me ()
 

Member Typedef Documentation

◆ context_t

template<typename RatExpSet , unsigned version = version::fsm_json>
using awali::sttc::rat::json_visitor< RatExpSet, version >::context_t = context_t_of<ratexpset_t>

◆ labelset_t

template<typename RatExpSet , unsigned version = version::fsm_json>
using awali::sttc::rat::json_visitor< RatExpSet, version >::labelset_t = labelset_t_of<context_t>

◆ node_t

template<typename RatExpSet , unsigned version = version::fsm_json>
using awali::sttc::rat::json_visitor< RatExpSet, version >::node_t = typename super_type::node_t

◆ ratexp_t

template<typename RatExpSet , unsigned version = version::fsm_json>
using awali::sttc::rat::json_visitor< RatExpSet, version >::ratexp_t = typename ratexpset_t::value_t

◆ ratexpset_t

template<typename RatExpSet , unsigned version = version::fsm_json>
using awali::sttc::rat::json_visitor< RatExpSet, version >::ratexpset_t = RatExpSet

◆ super_type

template<typename RatExpSet , unsigned version = version::fsm_json>
using awali::sttc::rat::json_visitor< RatExpSet, version >::super_type = typename ratexpset_t::const_visitor

◆ weightset_t

template<typename RatExpSet , unsigned version = version::fsm_json>
using awali::sttc::rat::json_visitor< RatExpSet, version >::weightset_t = weightset_t_of<ratexpset_t>

Constructor & Destructor Documentation

◆ json_visitor()

template<typename RatExpSet , unsigned version = version::fsm_json>
awali::sttc::rat::json_visitor< RatExpSet, version >::json_visitor ( const ratexpset_t rs)

Member Function Documentation

◆ array_from_children()

template<typename RatExpSet , unsigned version = version::fsm_json>
template<typename T >
json::object_t* awali::sttc::rat::json_visitor< RatExpSet, version >::array_from_children ( e,
std::string const &  str 
)

◆ AWALI_RAT_VISIT() [1/9]

template<typename RatExpSet , unsigned version = version::fsm_json>
awali::sttc::rat::json_visitor< RatExpSet, version >::AWALI_RAT_VISIT ( atom  ,
 
)

◆ AWALI_RAT_VISIT() [2/9]

template<typename RatExpSet , unsigned version = version::fsm_json>
awali::sttc::rat::json_visitor< RatExpSet, version >::AWALI_RAT_VISIT ( lweight  ,
 
)

◆ AWALI_RAT_VISIT() [3/9]

template<typename RatExpSet , unsigned version = version::fsm_json>
awali::sttc::rat::json_visitor< RatExpSet, version >::AWALI_RAT_VISIT ( one  )

◆ AWALI_RAT_VISIT() [4/9]

template<typename RatExpSet , unsigned version = version::fsm_json>
awali::sttc::rat::json_visitor< RatExpSet, version >::AWALI_RAT_VISIT ( prod  ,
 
)

◆ AWALI_RAT_VISIT() [5/9]

template<typename RatExpSet , unsigned version = version::fsm_json>
awali::sttc::rat::json_visitor< RatExpSet, version >::AWALI_RAT_VISIT ( rweight  ,
 
)

◆ AWALI_RAT_VISIT() [6/9]

template<typename RatExpSet , unsigned version = version::fsm_json>
awali::sttc::rat::json_visitor< RatExpSet, version >::AWALI_RAT_VISIT ( shuffle  ,
 
)

◆ AWALI_RAT_VISIT() [7/9]

template<typename RatExpSet , unsigned version = version::fsm_json>
awali::sttc::rat::json_visitor< RatExpSet, version >::AWALI_RAT_VISIT ( star  ,
 
)

◆ AWALI_RAT_VISIT() [8/9]

template<typename RatExpSet , unsigned version = version::fsm_json>
awali::sttc::rat::json_visitor< RatExpSet, version >::AWALI_RAT_VISIT ( sum  ,
 
)

◆ AWALI_RAT_VISIT() [9/9]

template<typename RatExpSet , unsigned version = version::fsm_json>
awali::sttc::rat::json_visitor< RatExpSet, version >::AWALI_RAT_VISIT ( zero  )

◆ me()

template<typename RatExpSet , unsigned version = version::fsm_json>
constexpr static const char* awali::sttc::rat::json_visitor< RatExpSet, version >::me ( )
staticconstexpr

◆ operator()()

template<typename RatExpSet , unsigned version = version::fsm_json>
json::object_t* awali::sttc::rat::json_visitor< RatExpSet, version >::operator() ( const ratexp_t v)

◆ ptr()

template<typename RatExpSet , unsigned version = version::fsm_json>
json::object_t* awali::sttc::rat::json_visitor< RatExpSet, version >::ptr ( )

◆ set_ptr()

template<typename RatExpSet , unsigned version = version::fsm_json>
void awali::sttc::rat::json_visitor< RatExpSet, version >::set_ptr ( json::object_t x)

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