![]() |
Vcsn
2.1
Be Rational
|
Build a Thompson automaton from an expression. More...
#include <thompson.hh>
Public Types | |
using | automaton_t = Aut |
using | expressionset_t = ExpSet |
using | context_t = context_t_of< automaton_t > |
using | weightset_t = weightset_t_of< expressionset_t > |
using | weight_t = weight_t_of< expressionset_t > |
using | state_t = state_t_of< automaton_t > |
using | super_t = typename expressionset_t::const_visitor |
Public Member Functions | |
thompson_visitor (const context_t &ctx, const expressionset_t &rs) | |
Build an automaton of context ctx. More... | |
thompson_visitor (const expressionset_t &rs) | |
automaton_t | operator() (const typename expressionset_t::value_t &v) |
Static Public Member Functions | |
static constexpr const char * | me () |
Name of this algorithm, for error messages. More... | |
Private Types | |
using | tuple_t = typename super_t::tuple_t |
using | label_t = label_t_of< automaton_t > |
Private Member Functions | |
virtual void | visit (const tuple_t &, std::true_type) override |
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 expressionset_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() |
Build a Thompson automaton from an expression.
Aut | relative the generated automaton |
ExpSet | relative to the expression. |
Definition at line 22 of file thompson.hh.
using vcsn::rat::thompson_visitor< Aut, ExpSet >::automaton_t = Aut |
Definition at line 26 of file thompson.hh.
using vcsn::rat::thompson_visitor< Aut, ExpSet >::context_t = context_t_of<automaton_t> |
Definition at line 28 of file thompson.hh.
using vcsn::rat::thompson_visitor< Aut, ExpSet >::expressionset_t = ExpSet |
Definition at line 27 of file thompson.hh.
|
private |
Definition at line 161 of file thompson.hh.
using vcsn::rat::thompson_visitor< Aut, ExpSet >::state_t = state_t_of<automaton_t> |
Definition at line 31 of file thompson.hh.
using vcsn::rat::thompson_visitor< Aut, ExpSet >::super_t = typename expressionset_t::const_visitor |
Definition at line 33 of file thompson.hh.
|
private |
Definition at line 67 of file thompson.hh.
using vcsn::rat::thompson_visitor< Aut, ExpSet >::weight_t = weight_t_of<expressionset_t> |
Definition at line 30 of file thompson.hh.
using vcsn::rat::thompson_visitor< Aut, ExpSet >::weightset_t = weightset_t_of<expressionset_t> |
Definition at line 29 of file thompson.hh.
|
inline |
Build an automaton of context ctx.
Definition at line 42 of file thompson.hh.
|
inline |
Definition at line 47 of file thompson.hh.
|
inlinestatic |
Name of this algorithm, for error messages.
Definition at line 39 of file thompson.hh.
Referenced by vcsn::rat::thompson_visitor< Aut, ExpSet >::visit().
|
inline |
Definition at line 52 of file thompson.hh.
References vcsn::rat::thompson_visitor< Aut, ExpSet >::final_, vcsn::rat::thompson_visitor< Aut, ExpSet >::initial_, and vcsn::rat::thompson_visitor< Aut, ExpSet >::res_.
|
inlineprivate |
Definition at line 73 of file thompson.hh.
References vcsn::rat::thompson_visitor< Aut, ExpSet >::final_, vcsn::rat::thompson_visitor< Aut, ExpSet >::initial_, and vcsn::rat::thompson_visitor< Aut, ExpSet >::res_.
|
inlineprivate |
|
inlineprivate |
|
inlineprivate |
|
inlineprivate |
|
inlineprivate |
|
inlineprivate |
Definition at line 139 of file thompson.hh.
References vcsn::rat::thompson_visitor< Aut, ExpSet >::initial_, vcsn::rat::thompson_visitor< Aut, ExpSet >::res_, and vcsn::rat::thompson_visitor< Aut, ExpSet >::ws_.
|
inlineprivate |
Definition at line 148 of file thompson.hh.
References vcsn::rat::thompson_visitor< Aut, ExpSet >::final_, vcsn::rat::thompson_visitor< Aut, ExpSet >::res_, and vcsn::rat::thompson_visitor< Aut, ExpSet >::ws_.
|
inlineoverrideprivatevirtual |
Definition at line 68 of file thompson.hh.
References vcsn::rat::thompson_visitor< Aut, ExpSet >::me().
|
private |
Definition at line 162 of file thompson.hh.
Referenced by vcsn::rat::thompson_visitor< Aut, ExpSet >::VCSN_RAT_VISIT().
|
private |
Definition at line 164 of file thompson.hh.
Referenced by vcsn::rat::thompson_visitor< Aut, ExpSet >::operator()(), and vcsn::rat::thompson_visitor< Aut, ExpSet >::VCSN_RAT_VISIT().
|
private |
Definition at line 163 of file thompson.hh.
Referenced by vcsn::rat::thompson_visitor< Aut, ExpSet >::operator()(), and vcsn::rat::thompson_visitor< Aut, ExpSet >::VCSN_RAT_VISIT().
|
private |
Definition at line 160 of file thompson.hh.
Referenced by vcsn::rat::thompson_visitor< Aut, ExpSet >::operator()(), and vcsn::rat::thompson_visitor< Aut, ExpSet >::VCSN_RAT_VISIT().
|
private |
Definition at line 158 of file thompson.hh.
Referenced by vcsn::rat::thompson_visitor< Aut, ExpSet >::VCSN_RAT_VISIT().
|
private |
Definition at line 159 of file thompson.hh.
Referenced by vcsn::rat::thompson_visitor< Aut, ExpSet >::VCSN_RAT_VISIT().