![]() |
Vcsn
2.4
Be Rational
|
#include <star-normal-form.hh>
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 > |
ExpSet | relative 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.
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.
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.
using vcsn::rat::star_normal_form_visitor< ExpSet >::expressionset_t = ExpSet |
Definition at line 32 of file star-normal-form.hh.
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.