![]() |
Vcsn
2.3a
Be Rational
|
#include <star-height.hh>
Classes | |
struct | visit_tuple |
struct | visit_tuple< false, Dummy > |
Public Types | |
using | expressionset_t = ExpSet |
using | super_t = typename expressionset_t::const_visitor |
using | self_t = star_height_visitor |
using | expression_t = typename expressionset_t::value_t |
using | context_t = context_t_of< expressionset_t > |
using | node_t = typename super_t::node_t |
Public Member Functions | |
star_height_visitor (const expressionset_t &rs) | |
unsigned | operator() (const expression_t &v) |
The star height of v. More... | |
Static Public Member Functions | |
static constexpr const char * | me () |
Name of this algorithm, for error messages. More... | |
Private Types | |
template<rat::type_t Type> | |
using | unary_t = typename super_t::template unary_t< Type > |
template<rat::type_t Type> | |
using | variadic_t = typename super_t::template variadic_t< Type > |
using | tuple_t = typename super_t::tuple_t |
Private Member Functions | |
unsigned | recurse_ (const expression_t &v) |
Easy recursion: the star height of v, saving height_. More... | |
VCSN_RAT_VISIT (add, v) | |
VCSN_RAT_VISIT (atom,) | |
VCSN_RAT_VISIT (complement, v) | |
VCSN_RAT_VISIT (compose, v) | |
VCSN_RAT_VISIT (conjunction, v) | |
VCSN_RAT_VISIT (infiltrate, v) | |
VCSN_RAT_VISIT (ldivide, v) | |
VCSN_RAT_VISIT (lweight, v) | |
VCSN_RAT_VISIT (mul, v) | |
VCSN_RAT_VISIT (one,) | |
VCSN_RAT_VISIT (rweight, v) | |
VCSN_RAT_VISIT (shuffle, v) | |
VCSN_RAT_VISIT (star, v) | |
VCSN_RAT_VISIT (transposition, v) | |
VCSN_RAT_VISIT (zero,) | |
template<rat::exp::type_t Type> | |
void | visit_ (const unary_t< Type > &v) |
Traverse unary node. More... | |
template<rat::type_t Type> | |
void | visit_ (const variadic_t< Type > &n) |
Traverse variadic node. More... | |
void | visit (const tuple_t &v, std::true_type) override |
Private Attributes | |
const expressionset_t & | rs_ |
The expressionset. More... | |
unsigned | height_ |
The current star height. More... | |
Definition at line 16 of file star-height.hh.
using vcsn::detail::star_height_visitor< ExpSet >::context_t = context_t_of<expressionset_t> |
Definition at line 24 of file star-height.hh.
using vcsn::detail::star_height_visitor< ExpSet >::expression_t = typename expressionset_t::value_t |
Definition at line 23 of file star-height.hh.
using vcsn::detail::star_height_visitor< ExpSet >::expressionset_t = ExpSet |
Definition at line 20 of file star-height.hh.
using vcsn::detail::star_height_visitor< ExpSet >::node_t = typename super_t::node_t |
Definition at line 25 of file star-height.hh.
using vcsn::detail::star_height_visitor< ExpSet >::self_t = star_height_visitor |
Definition at line 22 of file star-height.hh.
using vcsn::detail::star_height_visitor< ExpSet >::super_t = typename expressionset_t::const_visitor |
Definition at line 21 of file star-height.hh.
|
private |
Definition at line 91 of file star-height.hh.
|
private |
Definition at line 69 of file star-height.hh.
|
private |
Definition at line 79 of file star-height.hh.
|
inline |
Definition at line 30 of file star-height.hh.
|
inlinestatic |
Name of this algorithm, for error messages.
Definition at line 28 of file star-height.hh.
|
inline |
The star height of v.
Definition at line 35 of file star-height.hh.
References vcsn::detail::star_height_visitor< ExpSet >::height_, and vcsn::detail::star_height_visitor< ExpSet >::recurse_().
|
inlineprivate |
Easy recursion: the star height of v, saving height_.
Definition at line 43 of file star-height.hh.
References vcsn::detail::star_height_visitor< ExpSet >::height_, and vcsn::res.
Referenced by vcsn::detail::star_height_visitor< ExpSet >::operator()(), and vcsn::detail::star_height_visitor< ExpSet >::visit_().
|
inlineprivate |
Definition at line 52 of file star-height.hh.
References vcsn::detail::v, and vcsn::detail::star_height_visitor< ExpSet >::visit_().
|
inlineprivate |
Definition at line 53 of file star-height.hh.
|
inlineprivate |
Definition at line 54 of file star-height.hh.
References vcsn::detail::v, and vcsn::detail::star_height_visitor< ExpSet >::visit_().
|
inlineprivate |
Definition at line 55 of file star-height.hh.
References vcsn::detail::v, and vcsn::detail::star_height_visitor< ExpSet >::visit_().
|
inlineprivate |
Definition at line 56 of file star-height.hh.
References vcsn::detail::v, and vcsn::detail::star_height_visitor< ExpSet >::visit_().
|
inlineprivate |
Definition at line 57 of file star-height.hh.
References vcsn::detail::v, and vcsn::detail::star_height_visitor< ExpSet >::visit_().
|
inlineprivate |
Definition at line 58 of file star-height.hh.
References vcsn::detail::v, and vcsn::detail::star_height_visitor< ExpSet >::visit_().
|
inlineprivate |
Definition at line 59 of file star-height.hh.
References vcsn::detail::v.
|
inlineprivate |
Definition at line 60 of file star-height.hh.
References vcsn::detail::v, and vcsn::detail::star_height_visitor< ExpSet >::visit_().
|
inlineprivate |
Definition at line 61 of file star-height.hh.
|
inlineprivate |
Definition at line 62 of file star-height.hh.
References vcsn::detail::v.
|
inlineprivate |
Definition at line 63 of file star-height.hh.
References vcsn::detail::v, and vcsn::detail::star_height_visitor< ExpSet >::visit_().
|
inlineprivate |
Definition at line 64 of file star-height.hh.
References vcsn::detail::star_height_visitor< ExpSet >::height_, vcsn::detail::v, and vcsn::detail::star_height_visitor< ExpSet >::visit_().
|
inlineprivate |
Definition at line 65 of file star-height.hh.
References vcsn::detail::v, and vcsn::detail::star_height_visitor< ExpSet >::visit_().
|
inlineprivate |
Definition at line 66 of file star-height.hh.
|
inlineoverrideprivate |
Definition at line 130 of file star-height.hh.
References vcsn::detail::star_height_visitor< ExpSet >::height_, and vcsn::detail::v.
|
inlineprivate |
Traverse unary node.
Definition at line 73 of file star-height.hh.
References vcsn::detail::star_height_visitor< ExpSet >::height_, and vcsn::detail::star_height_visitor< ExpSet >::recurse_().
Referenced by vcsn::detail::star_height_visitor< ExpSet >::VCSN_RAT_VISIT().
|
inlineprivate |
Traverse variadic node.
Definition at line 83 of file star-height.hh.
References vcsn::detail::star_height_visitor< ExpSet >::height_, and vcsn::detail::star_height_visitor< ExpSet >::recurse_().
|
private |
The current star height.
Definition at line 138 of file star-height.hh.
Referenced by vcsn::detail::star_height_visitor< ExpSet >::operator()(), vcsn::detail::star_height_visitor< ExpSet >::recurse_(), vcsn::detail::star_height_visitor< ExpSet >::VCSN_RAT_VISIT(), vcsn::detail::star_height_visitor< ExpSet >::visit(), and vcsn::detail::star_height_visitor< ExpSet >::visit_().
|
private |
The expressionset.
Definition at line 136 of file star-height.hh.
Referenced by vcsn::detail::star_height_visitor< ExpSet >::visit_tuple< bool, Dummy >::tape_().