Vcsn  2.4
Be Rational
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
vcsn::rat::thompson_visitor< Aut, ExpSet > Class Template Reference

Build a Thompson automaton from an expression. More...

#include <thompson.hh>

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

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
 

Detailed Description

template<Automaton Aut, typename ExpSet>
class vcsn::rat::thompson_visitor< Aut, ExpSet >

Build a Thompson automaton from an expression.

Template Parameters
Autrelative the generated automaton
ExpSetrelative to the expression.

Definition at line 22 of file thompson.hh.

Member Typedef Documentation

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

Definition at line 26 of file thompson.hh.

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

Definition at line 29 of file thompson.hh.

template<Automaton Aut, typename ExpSet >
using vcsn::rat::thompson_visitor< Aut, ExpSet >::expression_t = typename expressionset_t::value_t

Definition at line 28 of file thompson.hh.

template<Automaton Aut, typename ExpSet >
using vcsn::rat::thompson_visitor< Aut, ExpSet >::expressionset_t = ExpSet

Definition at line 27 of file thompson.hh.

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

Definition at line 32 of file thompson.hh.

template<Automaton Aut, typename ExpSet >
using vcsn::rat::thompson_visitor< Aut, ExpSet >::super_t = typename expressionset_t::const_visitor

Definition at line 34 of file thompson.hh.

template<Automaton Aut, typename ExpSet >
using vcsn::rat::thompson_visitor< Aut, ExpSet >::weight_t = weight_t_of<expressionset_t>

Definition at line 31 of file thompson.hh.

template<Automaton Aut, typename ExpSet >
using vcsn::rat::thompson_visitor< Aut, ExpSet >::weightset_t = weightset_t_of<expressionset_t>

Definition at line 30 of file thompson.hh.


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