Vcsn  2.0
Be Rational
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
Public Types | Public Member Functions | Static Public Member Functions | Private Types | Private Member Functions | Private Attributes | List of all members
vcsn::rat::thompson_visitor< Aut, RatExpSet > Class Template Reference

Build a Thompson automaton from a ratexp. More...

#include <thompson.hh>

Inheritance diagram for vcsn::rat::thompson_visitor< Aut, RatExpSet >:
Collaboration diagram for vcsn::rat::thompson_visitor< Aut, RatExpSet >:

Public Types

using automaton_t = Aut
 
using ratexpset_t = RatExpSet
 
using context_t = context_t_of< automaton_t >
 
using weightset_t = weightset_t_of< ratexpset_t >
 
using weight_t = weight_t_of< ratexpset_t >
 
using state_t = state_t_of< automaton_t >
 
using super_t = typename ratexpset_t::const_visitor
 

Public Member Functions

 thompson_visitor (const context_t &ctx, const ratexpset_t &rs)
 Build an automaton of context ctx. More...
 
 thompson_visitor (const ratexpset_t &rs)
 
automaton_t operator() (const typename ratexpset_t::value_t &v)
 

Static Public Member Functions

static constexpr const char * me ()
 

Private Types

using label_t = label_t_of< automaton_t >
 

Private Member Functions

 VCSN_RAT_VISIT (zero,)
 
 VCSN_RAT_VISIT (one,)
 
 VCSN_RAT_VISIT (atom, e)
 
 VCSN_RAT_VISIT (sum, e)
 
 VCSN_RAT_VISIT (prod, e)
 
 VCSN_RAT_VISIT (star, e)
 
 VCSN_RAT_VISIT (lweight, e)
 
 VCSN_RAT_VISIT (rweight, e)
 

Private Attributes

const ratexpset_t & rs_
 
const weightset_t & ws_ = *rs_.weightset()
 
automaton_t res_
 
const label_t epsilon_ = res_->labelset()->one()
 
state_t initial_ = automaton_t::element_type::null_state()
 
state_t final_ = automaton_t::element_type::null_state()
 

Detailed Description

template<typename Aut, typename RatExpSet>
class vcsn::rat::thompson_visitor< Aut, RatExpSet >

Build a Thompson automaton from a ratexp.

Template Parameters
Autrelative the generated automaton
RatExpSetrelative to the RatExp.

Definition at line 23 of file thompson.hh.

Member Typedef Documentation

template<typename Aut , typename RatExpSet >
using vcsn::rat::thompson_visitor< Aut, RatExpSet >::automaton_t = Aut

Definition at line 27 of file thompson.hh.

template<typename Aut , typename RatExpSet >
using vcsn::rat::thompson_visitor< Aut, RatExpSet >::context_t = context_t_of<automaton_t>

Definition at line 29 of file thompson.hh.

template<typename Aut , typename RatExpSet >
using vcsn::rat::thompson_visitor< Aut, RatExpSet >::label_t = label_t_of<automaton_t>
private

Definition at line 155 of file thompson.hh.

template<typename Aut , typename RatExpSet >
using vcsn::rat::thompson_visitor< Aut, RatExpSet >::ratexpset_t = RatExpSet

Definition at line 28 of file thompson.hh.

template<typename Aut , typename RatExpSet >
using vcsn::rat::thompson_visitor< Aut, RatExpSet >::state_t = state_t_of<automaton_t>

Definition at line 32 of file thompson.hh.

template<typename Aut , typename RatExpSet >
using vcsn::rat::thompson_visitor< Aut, RatExpSet >::super_t = typename ratexpset_t::const_visitor

Definition at line 34 of file thompson.hh.

template<typename Aut , typename RatExpSet >
using vcsn::rat::thompson_visitor< Aut, RatExpSet >::weight_t = weight_t_of<ratexpset_t>

Definition at line 31 of file thompson.hh.

template<typename Aut , typename RatExpSet >
using vcsn::rat::thompson_visitor< Aut, RatExpSet >::weightset_t = weightset_t_of<ratexpset_t>

Definition at line 30 of file thompson.hh.

Constructor & Destructor Documentation

template<typename Aut , typename RatExpSet >
vcsn::rat::thompson_visitor< Aut, RatExpSet >::thompson_visitor ( const context_t &  ctx,
const ratexpset_t &  rs 
)
inline

Build an automaton of context ctx.

Definition at line 42 of file thompson.hh.

template<typename Aut , typename RatExpSet >
vcsn::rat::thompson_visitor< Aut, RatExpSet >::thompson_visitor ( const ratexpset_t &  rs)
inline

Definition at line 47 of file thompson.hh.

Member Function Documentation

template<typename Aut , typename RatExpSet >
static constexpr const char* vcsn::rat::thompson_visitor< Aut, RatExpSet >::me ( )
inlinestatic

Definition at line 39 of file thompson.hh.

template<typename Aut , typename RatExpSet >
automaton_t vcsn::rat::thompson_visitor< Aut, RatExpSet >::operator() ( const typename ratexpset_t::value_t &  v)
inline

Definition at line 52 of file thompson.hh.

References vcsn::rat::thompson_visitor< Aut, RatExpSet >::final_, vcsn::rat::thompson_visitor< Aut, RatExpSet >::initial_, and vcsn::rat::thompson_visitor< Aut, RatExpSet >::res_.

template<typename Aut , typename RatExpSet >
vcsn::rat::thompson_visitor< Aut, RatExpSet >::VCSN_RAT_VISIT ( zero  )
inlineprivate

Definition at line 67 of file thompson.hh.

References vcsn::rat::thompson_visitor< Aut, RatExpSet >::final_, vcsn::rat::thompson_visitor< Aut, RatExpSet >::initial_, and vcsn::rat::thompson_visitor< Aut, RatExpSet >::res_.

template<typename Aut , typename RatExpSet >
vcsn::rat::thompson_visitor< Aut, RatExpSet >::VCSN_RAT_VISIT ( one  )
inlineprivate

Definition at line 73 of file thompson.hh.

References vcsn::rat::thompson_visitor< Aut, RatExpSet >::epsilon_, vcsn::rat::thompson_visitor< Aut, RatExpSet >::final_, vcsn::rat::thompson_visitor< Aut, RatExpSet >::initial_, and vcsn::rat::thompson_visitor< Aut, RatExpSet >::res_.

template<typename Aut , typename RatExpSet >
vcsn::rat::thompson_visitor< Aut, RatExpSet >::VCSN_RAT_VISIT ( atom  ,
e   
)
inlineprivate

Definition at line 80 of file thompson.hh.

References vcsn::rat::thompson_visitor< Aut, RatExpSet >::final_, vcsn::rat::thompson_visitor< Aut, RatExpSet >::initial_, vcsn::rat::thompson_visitor< Aut, RatExpSet >::res_, and vcsn::rat::thompson_visitor< Aut, RatExpSet >::rs_.

template<typename Aut , typename RatExpSet >
vcsn::rat::thompson_visitor< Aut, RatExpSet >::VCSN_RAT_VISIT ( sum  ,
e   
)
inlineprivate

Definition at line 91 of file thompson.hh.

References vcsn::rat::thompson_visitor< Aut, RatExpSet >::epsilon_, vcsn::rat::thompson_visitor< Aut, RatExpSet >::final_, vcsn::rat::thompson_visitor< Aut, RatExpSet >::initial_, and vcsn::rat::thompson_visitor< Aut, RatExpSet >::res_.

template<typename Aut , typename RatExpSet >
vcsn::rat::thompson_visitor< Aut, RatExpSet >::VCSN_RAT_VISIT ( prod  ,
e   
)
inlineprivate

Definition at line 105 of file thompson.hh.

References vcsn::rat::thompson_visitor< Aut, RatExpSet >::epsilon_, vcsn::rat::thompson_visitor< Aut, RatExpSet >::final_, vcsn::rat::thompson_visitor< Aut, RatExpSet >::initial_, and vcsn::rat::thompson_visitor< Aut, RatExpSet >::res_.

template<typename Aut , typename RatExpSet >
vcsn::rat::thompson_visitor< Aut, RatExpSet >::VCSN_RAT_VISIT ( star  ,
e   
)
inlineprivate

Definition at line 120 of file thompson.hh.

References vcsn::rat::thompson_visitor< Aut, RatExpSet >::epsilon_, vcsn::rat::thompson_visitor< Aut, RatExpSet >::final_, vcsn::rat::thompson_visitor< Aut, RatExpSet >::initial_, and vcsn::rat::thompson_visitor< Aut, RatExpSet >::res_.

template<typename Aut , typename RatExpSet >
vcsn::rat::thompson_visitor< Aut, RatExpSet >::VCSN_RAT_VISIT ( lweight  ,
e   
)
inlineprivate

Definition at line 133 of file thompson.hh.

References vcsn::rat::thompson_visitor< Aut, RatExpSet >::initial_, vcsn::rat::thompson_visitor< Aut, RatExpSet >::res_, and vcsn::rat::thompson_visitor< Aut, RatExpSet >::ws_.

template<typename Aut , typename RatExpSet >
vcsn::rat::thompson_visitor< Aut, RatExpSet >::VCSN_RAT_VISIT ( rweight  ,
e   
)
inlineprivate

Definition at line 142 of file thompson.hh.

References vcsn::rat::thompson_visitor< Aut, RatExpSet >::final_, vcsn::rat::thompson_visitor< Aut, RatExpSet >::res_, and vcsn::rat::thompson_visitor< Aut, RatExpSet >::ws_.

Member Data Documentation

template<typename Aut , typename RatExpSet >
const label_t vcsn::rat::thompson_visitor< Aut, RatExpSet >::epsilon_ = res_->labelset()->one()
private

Definition at line 156 of file thompson.hh.

Referenced by vcsn::rat::thompson_visitor< Aut, RatExpSet >::VCSN_RAT_VISIT().

template<typename Aut , typename RatExpSet >
state_t vcsn::rat::thompson_visitor< Aut, RatExpSet >::final_ = automaton_t::element_type::null_state()
private

Definition at line 158 of file thompson.hh.

Referenced by vcsn::rat::thompson_visitor< Aut, RatExpSet >::operator()(), and vcsn::rat::thompson_visitor< Aut, RatExpSet >::VCSN_RAT_VISIT().

template<typename Aut , typename RatExpSet >
state_t vcsn::rat::thompson_visitor< Aut, RatExpSet >::initial_ = automaton_t::element_type::null_state()
private

Definition at line 157 of file thompson.hh.

Referenced by vcsn::rat::thompson_visitor< Aut, RatExpSet >::operator()(), and vcsn::rat::thompson_visitor< Aut, RatExpSet >::VCSN_RAT_VISIT().

template<typename Aut , typename RatExpSet >
automaton_t vcsn::rat::thompson_visitor< Aut, RatExpSet >::res_
private

Definition at line 154 of file thompson.hh.

Referenced by vcsn::rat::thompson_visitor< Aut, RatExpSet >::operator()(), and vcsn::rat::thompson_visitor< Aut, RatExpSet >::VCSN_RAT_VISIT().

template<typename Aut , typename RatExpSet >
const ratexpset_t& vcsn::rat::thompson_visitor< Aut, RatExpSet >::rs_
private

Definition at line 152 of file thompson.hh.

Referenced by vcsn::rat::thompson_visitor< Aut, RatExpSet >::VCSN_RAT_VISIT().

template<typename Aut , typename RatExpSet >
const weightset_t& vcsn::rat::thompson_visitor< Aut, RatExpSet >::ws_ = *rs_.weightset()
private

Definition at line 153 of file thompson.hh.

Referenced by vcsn::rat::thompson_visitor< Aut, RatExpSet >::VCSN_RAT_VISIT().

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