![]() |
Vcsn
2.2
Be Rational
|
Functor to compute the size of a rational expression. More...
#include <size.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 | context_t = context_t_of< expressionset_t > |
using | weight_t = typename context_t::weightset_t::value_t |
using | node_t = typename super_t::node_t |
using | inner_t = typename super_t::inner_t |
template<type_t Type> | |
using | unary_t = typename super_t::template unary_t< Type > |
template<type_t Type> | |
using | variadic_t = typename super_t::template variadic_t< Type > |
using | leaf_t = typename super_t::leaf_t |
Public Member Functions | |
size_t | operator() (const node_t &v) |
Entry point: return the size of v. More... | |
size_t | operator() (const std::shared_ptr< const node_t > &v) |
Entry point: return the size of v. More... | |
Static Public Member Functions | |
static constexpr const char * | me () |
Name of this algorithm, for error messages. More... | |
Private Types | |
using | tuple_t = typename super_t::tuple_t |
Private Member Functions | |
VCSN_RAT_VISIT (atom,) | |
VCSN_RAT_VISIT (complement, v) | |
VCSN_RAT_VISIT (conjunction, v) | |
VCSN_RAT_VISIT (infiltration, v) | |
VCSN_RAT_VISIT (ldiv, v) | |
VCSN_RAT_VISIT (lweight, v) | |
VCSN_RAT_VISIT (one,) | |
VCSN_RAT_VISIT (prod, v) | |
VCSN_RAT_VISIT (rweight, v) | |
VCSN_RAT_VISIT (shuffle, v) | |
VCSN_RAT_VISIT (star, v) | |
VCSN_RAT_VISIT (sum, v) | |
VCSN_RAT_VISIT (transposition, v) | |
VCSN_RAT_VISIT (zero,) | |
void | visit (const tuple_t &v, std::true_type) override |
template<rat::exp::type_t Type> | |
void | visit_unary (const unary_t< Type > &v) |
Traverse unary node. More... | |
template<rat::exp::type_t Type> | |
void | visit_variadic (const variadic_t< Type > &v) |
Traverse variadic node. More... | |
Private Attributes | |
size_t | size_ |
Functor to compute the size of a rational expression.
ExpSet | the expressionset type. |
using vcsn::rat::sizer< ExpSet >::context_t = context_t_of<expressionset_t> |
using vcsn::rat::sizer< ExpSet >::expressionset_t = ExpSet |
using vcsn::rat::sizer< ExpSet >::inner_t = typename super_t::inner_t |
using vcsn::rat::sizer< ExpSet >::leaf_t = typename super_t::leaf_t |
using vcsn::rat::sizer< ExpSet >::node_t = typename super_t::node_t |
using vcsn::rat::sizer< ExpSet >::super_t = typename expressionset_t::const_visitor |
|
private |
using vcsn::rat::sizer< ExpSet >::unary_t = typename super_t::template unary_t<Type> |
using vcsn::rat::sizer< ExpSet >::variadic_t = typename super_t::template variadic_t<Type> |
using vcsn::rat::sizer< ExpSet >::weight_t = typename context_t::weightset_t::value_t |
|
inlinestatic |
|
inline |
Entry point: return the size of v.
Definition at line 37 of file size.hh.
References vcsn::rat::sizer< ExpSet >::size_.
Referenced by vcsn::rat::sizer< ExpSet >::operator()().
|
inline |
Entry point: return the size of v.
Definition at line 46 of file size.hh.
References vcsn::rat::sizer< ExpSet >::operator()().
|
inlineprivate |
Definition at line 53 of file size.hh.
References vcsn::rat::sizer< ExpSet >::size_.
|
inlineprivate |
Definition at line 54 of file size.hh.
References vcsn::detail::v, and vcsn::rat::sizer< ExpSet >::visit_unary().
|
inlineprivate |
Definition at line 55 of file size.hh.
References vcsn::detail::v, and vcsn::rat::sizer< ExpSet >::visit_variadic().
|
inlineprivate |
Definition at line 56 of file size.hh.
References vcsn::detail::v, and vcsn::rat::sizer< ExpSet >::visit_variadic().
|
inlineprivate |
Definition at line 57 of file size.hh.
References vcsn::detail::v, and vcsn::rat::sizer< ExpSet >::visit_variadic().
|
inlineprivate |
Definition at line 58 of file size.hh.
References vcsn::rat::sizer< ExpSet >::size_, and vcsn::detail::v.
|
inlineprivate |
Definition at line 59 of file size.hh.
References vcsn::rat::sizer< ExpSet >::size_.
|
inlineprivate |
Definition at line 60 of file size.hh.
References vcsn::detail::v, and vcsn::rat::sizer< ExpSet >::visit_variadic().
|
inlineprivate |
Definition at line 61 of file size.hh.
References vcsn::rat::sizer< ExpSet >::size_, and vcsn::detail::v.
|
inlineprivate |
Definition at line 62 of file size.hh.
References vcsn::detail::v, and vcsn::rat::sizer< ExpSet >::visit_variadic().
|
inlineprivate |
Definition at line 63 of file size.hh.
References vcsn::detail::v, and vcsn::rat::sizer< ExpSet >::visit_unary().
|
inlineprivate |
Definition at line 64 of file size.hh.
References vcsn::detail::v, and vcsn::rat::sizer< ExpSet >::visit_variadic().
|
inlineprivate |
Definition at line 65 of file size.hh.
References vcsn::detail::v, and vcsn::rat::sizer< ExpSet >::visit_unary().
|
inlineprivate |
Definition at line 66 of file size.hh.
References vcsn::rat::sizer< ExpSet >::size_.
|
inlineoverrideprivate |
Definition at line 111 of file size.hh.
References vcsn::rat::sizer< ExpSet >::size_, and vcsn::detail::v.
|
inlineprivate |
Traverse unary node.
Definition at line 118 of file size.hh.
References vcsn::rat::sizer< ExpSet >::size_.
Referenced by vcsn::rat::sizer< ExpSet >::VCSN_RAT_VISIT().
|
inlineprivate |
Traverse variadic node.
Definition at line 126 of file size.hh.
References vcsn::rat::sizer< ExpSet >::size_.
Referenced by vcsn::rat::sizer< ExpSet >::VCSN_RAT_VISIT().
|
private |
Definition at line 134 of file size.hh.
Referenced by vcsn::rat::sizer< ExpSet >::operator()(), vcsn::rat::sizer< ExpSet >::VCSN_RAT_VISIT(), vcsn::rat::sizer< ExpSet >::visit(), vcsn::rat::sizer< ExpSet >::visit_unary(), and vcsn::rat::sizer< ExpSet >::visit_variadic().