![]() |
Vcsn
2.4
Be Rational
|
Build a Thompson automaton from an expression. More...
#include <thompson.hh>
Public Types | |
using | automaton_t = Aut |
using | expressionset_t = ExpSet |
using | expression_t = typename expressionset_t::value_t |
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 |
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 29 of file thompson.hh.
using vcsn::rat::thompson_visitor< Aut, ExpSet >::expression_t = typename expressionset_t::value_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.
using vcsn::rat::thompson_visitor< Aut, ExpSet >::state_t = state_t_of<automaton_t> |
Definition at line 32 of file thompson.hh.
using vcsn::rat::thompson_visitor< Aut, ExpSet >::super_t = typename expressionset_t::const_visitor |
Definition at line 34 of file thompson.hh.
using vcsn::rat::thompson_visitor< Aut, ExpSet >::weight_t = weight_t_of<expressionset_t> |
Definition at line 31 of file thompson.hh.
using vcsn::rat::thompson_visitor< Aut, ExpSet >::weightset_t = weightset_t_of<expressionset_t> |
Definition at line 30 of file thompson.hh.