Awali
Another Weighted Automata library
Public Types | Public Member Functions | Static Public Member Functions
awali::sttc::rat::thompson_visitor< Aut, Context > Class Template Reference

#include <thompson.hh>

Inheritance diagram for awali::sttc::rat::thompson_visitor< Aut, Context >:

Public Types

using automaton_t = Aut
 
using context_t = Context
 
using history_t = std::shared_ptr< string_history >
 
using super_type = typename Context::const_visitor
 
using weight_t = weight_t_of< context_t >
 
using weightset_t = weightset_t_of< context_t >
 

Public Member Functions

 thompson_visitor (const context_t &ctx, bool keep_history)
 
 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 (star, e)
 
 AWALI_RAT_VISIT (sum, e)
 
 AWALI_RAT_VISIT (zero,)
 
automaton_t operator() (const typename Context::ratexp_t &v)
 

Static Public Member Functions

constexpr static const char * me ()
 

Detailed Description

template<typename Aut, typename Context = context_t_of<Aut>>
class awali::sttc::rat::thompson_visitor< Aut, Context >

Template Parameters
Autrelative the generated automaton
Contextrelative to the RatExp.

Member Typedef Documentation

◆ automaton_t

template<typename Aut , typename Context = context_t_of<Aut>>
using awali::sttc::rat::thompson_visitor< Aut, Context >::automaton_t = Aut

◆ context_t

template<typename Aut , typename Context = context_t_of<Aut>>
using awali::sttc::rat::thompson_visitor< Aut, Context >::context_t = Context

◆ history_t

template<typename Aut , typename Context = context_t_of<Aut>>
using awali::sttc::rat::thompson_visitor< Aut, Context >::history_t = std::shared_ptr<string_history>

◆ super_type

template<typename Aut , typename Context = context_t_of<Aut>>
using awali::sttc::rat::thompson_visitor< Aut, Context >::super_type = typename Context::const_visitor

◆ weight_t

template<typename Aut , typename Context = context_t_of<Aut>>
using awali::sttc::rat::thompson_visitor< Aut, Context >::weight_t = weight_t_of<context_t>

◆ weightset_t

template<typename Aut , typename Context = context_t_of<Aut>>
using awali::sttc::rat::thompson_visitor< Aut, Context >::weightset_t = weightset_t_of<context_t>

Constructor & Destructor Documentation

◆ thompson_visitor()

template<typename Aut , typename Context = context_t_of<Aut>>
awali::sttc::rat::thompson_visitor< Aut, Context >::thompson_visitor ( const context_t ctx,
bool  keep_history 
)

Member Function Documentation

◆ AWALI_RAT_VISIT() [1/8]

template<typename Aut , typename Context = context_t_of<Aut>>
awali::sttc::rat::thompson_visitor< Aut, Context >::AWALI_RAT_VISIT ( atom  ,
 
)

◆ AWALI_RAT_VISIT() [2/8]

template<typename Aut , typename Context = context_t_of<Aut>>
awali::sttc::rat::thompson_visitor< Aut, Context >::AWALI_RAT_VISIT ( lweight  ,
 
)

◆ AWALI_RAT_VISIT() [3/8]

template<typename Aut , typename Context = context_t_of<Aut>>
awali::sttc::rat::thompson_visitor< Aut, Context >::AWALI_RAT_VISIT ( one  )

◆ AWALI_RAT_VISIT() [4/8]

template<typename Aut , typename Context = context_t_of<Aut>>
awali::sttc::rat::thompson_visitor< Aut, Context >::AWALI_RAT_VISIT ( prod  ,
 
)

◆ AWALI_RAT_VISIT() [5/8]

template<typename Aut , typename Context = context_t_of<Aut>>
awali::sttc::rat::thompson_visitor< Aut, Context >::AWALI_RAT_VISIT ( rweight  ,
 
)

◆ AWALI_RAT_VISIT() [6/8]

template<typename Aut , typename Context = context_t_of<Aut>>
awali::sttc::rat::thompson_visitor< Aut, Context >::AWALI_RAT_VISIT ( star  ,
 
)

◆ AWALI_RAT_VISIT() [7/8]

template<typename Aut , typename Context = context_t_of<Aut>>
awali::sttc::rat::thompson_visitor< Aut, Context >::AWALI_RAT_VISIT ( sum  ,
 
)

◆ AWALI_RAT_VISIT() [8/8]

template<typename Aut , typename Context = context_t_of<Aut>>
awali::sttc::rat::thompson_visitor< Aut, Context >::AWALI_RAT_VISIT ( zero  )

◆ me()

template<typename Aut , typename Context = context_t_of<Aut>>
constexpr static const char* awali::sttc::rat::thompson_visitor< Aut, Context >::me ( )
staticconstexpr

◆ operator()()

template<typename Aut , typename Context = context_t_of<Aut>>
automaton_t awali::sttc::rat::thompson_visitor< Aut, Context >::operator() ( const typename Context::ratexp_t &  v)

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