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

#include <star-normal-form.hh>

Inheritance diagram for vcsn::rat::star_normal_form_visitor< ExpSet >:
Collaboration diagram for vcsn::rat::star_normal_form_visitor< ExpSet >:

Public Types

using expressionset_t = ExpSet
 
using expression_t = typename expressionset_t::value_t
 
using context_t = context_t_of< expressionset_t >
 
using weightset_t = weightset_t_of< context_t >
 

Detailed Description

template<typename ExpSet>
class vcsn::rat::star_normal_form_visitor< ExpSet >

Template Parameters
ExpSetrelative to the expression.

Implementation based on the dot/box operators as defined in "On the Number of Broken Derived Terms of a Rational Expression", Pierre-Yves Angrand, Sylvain Lombardy, Jacques Sakarovitch.

Definition at line 28 of file star-normal-form.hh.

Member Typedef Documentation

template<typename ExpSet >
using vcsn::rat::star_normal_form_visitor< ExpSet >::context_t = context_t_of<expressionset_t>

Definition at line 34 of file star-normal-form.hh.

template<typename ExpSet >
using vcsn::rat::star_normal_form_visitor< ExpSet >::expression_t = typename expressionset_t::value_t

Definition at line 33 of file star-normal-form.hh.

template<typename ExpSet >
using vcsn::rat::star_normal_form_visitor< ExpSet >::expressionset_t = ExpSet

Definition at line 32 of file star-normal-form.hh.

template<typename ExpSet >
using vcsn::rat::star_normal_form_visitor< ExpSet >::weightset_t = weightset_t_of<context_t>

Definition at line 35 of file star-normal-form.hh.


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