![]() |
Vcsn
2.1
Be Rational
|
Build a standard automaton from an expression. More...
#include <standard.hh>
Public Types | |
using | automaton_t = Aut |
using | expressionset_t = ExpSet |
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 | |
standard_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 | states_t = std::set< state_t > |
The current set of final states. More... | |
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) | |
states_t | finals () |
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_ |
state_t | initial_ = automaton_t::element_type::null_state() |
Build a standard automaton from an expression.
Aut | relative the generated automaton |
ExpSet | relative to the expression. |
Definition at line 172 of file standard.hh.
using vcsn::rat::standard_visitor< Aut, ExpSet >::automaton_t = Aut |
Definition at line 176 of file standard.hh.
using vcsn::rat::standard_visitor< Aut, ExpSet >::expressionset_t = ExpSet |
Definition at line 177 of file standard.hh.
using vcsn::rat::standard_visitor< Aut, ExpSet >::state_t = state_t_of<automaton_t> |
Definition at line 180 of file standard.hh.
|
private |
The current set of final states.
Definition at line 235 of file standard.hh.
using vcsn::rat::standard_visitor< Aut, ExpSet >::super_t = typename expressionset_t::const_visitor |
Definition at line 182 of file standard.hh.
|
private |
Definition at line 207 of file standard.hh.
using vcsn::rat::standard_visitor< Aut, ExpSet >::weight_t = weight_t_of<expressionset_t> |
Definition at line 179 of file standard.hh.
using vcsn::rat::standard_visitor< Aut, ExpSet >::weightset_t = weightset_t_of<expressionset_t> |
Definition at line 178 of file standard.hh.
|
inline |
Definition at line 187 of file standard.hh.
|
inlineprivate |
Definition at line 237 of file standard.hh.
References vcsn::rat::standard_visitor< Aut, ExpSet >::res_.
Referenced by vcsn::rat::standard_visitor< Aut, ExpSet >::VCSN_RAT_VISIT().
|
inlinestatic |
Name of this algorithm, for error messages.
Definition at line 185 of file standard.hh.
Referenced by vcsn::rat::standard_visitor< Aut, ExpSet >::visit().
|
inline |
Definition at line 193 of file standard.hh.
References vcsn::rat::standard_visitor< Aut, ExpSet >::initial_, and vcsn::rat::standard_visitor< Aut, ExpSet >::res_.
|
inlineprivate |
Definition at line 213 of file standard.hh.
References vcsn::rat::standard_visitor< Aut, ExpSet >::initial_, and vcsn::rat::standard_visitor< Aut, ExpSet >::res_.
|
inlineprivate |
Definition at line 218 of file standard.hh.
References vcsn::rat::standard_visitor< Aut, ExpSet >::initial_, and vcsn::rat::standard_visitor< Aut, ExpSet >::res_.
|
inlineprivate |
Definition at line 225 of file standard.hh.
References vcsn::rat::standard_visitor< Aut, ExpSet >::initial_, and vcsn::rat::standard_visitor< Aut, ExpSet >::res_.
|
inlineprivate |
Definition at line 245 of file standard.hh.
References vcsn::rat::standard_visitor< Aut, ExpSet >::finals(), vcsn::rat::standard_visitor< Aut, ExpSet >::initial_, and vcsn::rat::standard_visitor< Aut, ExpSet >::res_.
|
inlineprivate |
Definition at line 265 of file standard.hh.
References vcsn::rat::standard_visitor< Aut, ExpSet >::finals(), vcsn::has(), vcsn::rat::standard_visitor< Aut, ExpSet >::initial_, vcsn::detail::make_vector(), vcsn::rat::standard_visitor< Aut, ExpSet >::res_, and vcsn::rat::standard_visitor< Aut, ExpSet >::ws_.
|
inlineprivate |
Definition at line 317 of file standard.hh.
References vcsn::rat::standard_visitor< Aut, ExpSet >::finals(), vcsn::has(), vcsn::rat::standard_visitor< Aut, ExpSet >::initial_, vcsn::rat::standard_visitor< Aut, ExpSet >::res_, and vcsn::rat::standard_visitor< Aut, ExpSet >::ws_.
|
inlineprivate |
Definition at line 347 of file standard.hh.
References vcsn::rat::standard_visitor< Aut, ExpSet >::initial_, and vcsn::rat::standard_visitor< Aut, ExpSet >::res_.
|
inlineprivate |
Definition at line 354 of file standard.hh.
References vcsn::rat::standard_visitor< Aut, ExpSet >::finals(), vcsn::has(), and vcsn::rat::standard_visitor< Aut, ExpSet >::res_.
|
inlineoverrideprivatevirtual |
Definition at line 208 of file standard.hh.
References vcsn::rat::standard_visitor< Aut, ExpSet >::me().
|
private |
Definition at line 367 of file standard.hh.
Referenced by vcsn::rat::standard_visitor< Aut, ExpSet >::operator()(), and vcsn::rat::standard_visitor< Aut, ExpSet >::VCSN_RAT_VISIT().
|
private |
Definition at line 366 of file standard.hh.
Referenced by vcsn::rat::standard_visitor< Aut, ExpSet >::finals(), vcsn::rat::standard_visitor< Aut, ExpSet >::operator()(), and vcsn::rat::standard_visitor< Aut, ExpSet >::VCSN_RAT_VISIT().
|
private |
Definition at line 364 of file standard.hh.
|
private |
Definition at line 365 of file standard.hh.
Referenced by vcsn::rat::standard_visitor< Aut, ExpSet >::VCSN_RAT_VISIT().