![]() |
Vcsn
2.3a
Be Rational
|
Gather information of the number of the different node types. More...
#include <fwd.hh>
Classes | |
struct | visit_tuple |
Public Types | |
using | expressionset_t = ExpSet |
using | super_t = typename expressionset_t::const_visitor |
using | self_t = info |
using | context_t = context_t_of< expressionset_t > |
using | node_t = typename super_t::node_t |
Actual node, without indirection. More... | |
using | expression_t = typename node_t::value_t |
A shared_ptr to node_t. More... | |
using | tuple_t = typename super_t::tuple_t |
Public Member Functions | |
void | operator() (const expression_t &v) |
Entry point: compute info about v. More... | |
void | clear () |
Reset the visitor. More... | |
template<typename OtherExpSet > | |
info & | operator+= (const info< OtherExpSet > &other) |
Add the result from another info operator. More... | |
Static Public Member Functions | |
static constexpr const char * | me () |
Name of this algorithm, for error messages. More... | |
Public Attributes | |
size_t | depth = 0 |
Depth of the tree. More... | |
size_t | add = 0 |
size_t | atom = 0 |
size_t | complement = 0 |
size_t | compose = 0 |
size_t | conjunction = 0 |
size_t | infiltrate = 0 |
size_t | ldivide = 0 |
size_t | lweight = 0 |
size_t | mul = 0 |
size_t | one = 0 |
size_t | rweight = 0 |
size_t | shuffle = 0 |
size_t | star = 0 |
size_t | transposition = 0 |
size_t | zero = 0 |
size_t | tuple = 0 |
Number of tuple operators. More... | |
Private Types | |
template<type_t Type> | |
using | unary_t = rat::unary< Type, context_t > |
template<type_t Type> | |
using | variadic_t = rat::variadic< Type, context_t > |
Private Member Functions | |
VCSN_RAT_VISIT (add, v) | |
VCSN_RAT_VISIT (atom, v) | |
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, v) | |
VCSN_RAT_VISIT (rweight, v) | |
VCSN_RAT_VISIT (shuffle, v) | |
VCSN_RAT_VISIT (star, v) | |
VCSN_RAT_VISIT (transposition, v) | |
VCSN_RAT_VISIT (zero, v) | |
template<rat::exp::type_t Type> | |
void | visit_ (const unary_t< Type > &v) |
Factor the visitation of unary nodes. More... | |
template<exp::type_t Type> | |
void | visit_ (const variadic_t< Type > &v) |
Factor the visitation of variadic nodes. More... | |
void | visit (const tuple_t &v, std::true_type) override |
Gather information of the number of the different node types.
ExpSet | the expressionset type. |
using vcsn::rat::info< ExpSet >::context_t = context_t_of<expressionset_t> |
using vcsn::rat::info< ExpSet >::expression_t = typename node_t::value_t |
using vcsn::rat::info< ExpSet >::expressionset_t = ExpSet |
using vcsn::rat::info< ExpSet >::node_t = typename super_t::node_t |
using vcsn::rat::info< ExpSet >::self_t = info |
using vcsn::rat::info< ExpSet >::super_t = typename expressionset_t::const_visitor |
using vcsn::rat::info< ExpSet >::tuple_t = typename super_t::tuple_t |
|
private |
|
private |
|
inline |
Reset the visitor.
Definition at line 41 of file info.hh.
References vcsn::rat::info< ExpSet >::depth.
Referenced by vcsn::rat::info< ExpSet >::operator()().
|
inlinestatic |
|
inline |
Entry point: compute info about v.
Definition at line 34 of file info.hh.
References vcsn::rat::info< ExpSet >::clear().
|
inline |
Add the result from another info operator.
Definition at line 64 of file info.hh.
References vcsn::rat::info< ExpSet >::depth.
|
inlineprivate |
Definition at line 98 of file info.hh.
References vcsn::rat::info< ExpSet >::add, vcsn::v, and vcsn::rat::info< ExpSet >::visit_().
|
inlineprivate |
Definition at line 99 of file info.hh.
References vcsn::rat::info< ExpSet >::atom, vcsn::v, and vcsn::detail::void.
|
inlineprivate |
Definition at line 100 of file info.hh.
References vcsn::rat::info< ExpSet >::complement, vcsn::v, and vcsn::rat::info< ExpSet >::visit_().
|
inlineprivate |
Definition at line 101 of file info.hh.
References vcsn::rat::info< ExpSet >::compose, vcsn::v, and vcsn::rat::info< ExpSet >::visit_().
|
inlineprivate |
Definition at line 102 of file info.hh.
References vcsn::rat::info< ExpSet >::conjunction, vcsn::v, and vcsn::rat::info< ExpSet >::visit_().
|
inlineprivate |
Definition at line 103 of file info.hh.
References vcsn::rat::info< ExpSet >::infiltrate, vcsn::v, and vcsn::rat::info< ExpSet >::visit_().
|
inlineprivate |
Definition at line 104 of file info.hh.
References vcsn::rat::info< ExpSet >::ldivide, vcsn::v, and vcsn::rat::info< ExpSet >::visit_().
|
inlineprivate |
Definition at line 105 of file info.hh.
References vcsn::rat::info< ExpSet >::depth, vcsn::rat::info< ExpSet >::lweight, and vcsn::v.
|
inlineprivate |
Definition at line 106 of file info.hh.
References vcsn::rat::info< ExpSet >::mul, vcsn::v, and vcsn::rat::info< ExpSet >::visit_().
|
inlineprivate |
Definition at line 107 of file info.hh.
References vcsn::rat::info< ExpSet >::one, vcsn::v, and vcsn::detail::void.
|
inlineprivate |
Definition at line 108 of file info.hh.
References vcsn::rat::info< ExpSet >::depth, vcsn::rat::info< ExpSet >::rweight, and vcsn::v.
|
inlineprivate |
Definition at line 109 of file info.hh.
References vcsn::rat::info< ExpSet >::shuffle, vcsn::v, and vcsn::rat::info< ExpSet >::visit_().
|
inlineprivate |
Definition at line 110 of file info.hh.
References vcsn::rat::info< ExpSet >::star, vcsn::v, and vcsn::rat::info< ExpSet >::visit_().
|
inlineprivate |
Definition at line 111 of file info.hh.
References vcsn::rat::info< ExpSet >::transposition, vcsn::v, and vcsn::rat::info< ExpSet >::visit_().
|
inlineprivate |
|
inlineoverrideprivate |
|
inlineprivate |
Factor the visitation of unary nodes.
Definition at line 121 of file info.hh.
References vcsn::rat::info< ExpSet >::depth, and vcsn::rat::unary< Type, Context >::sub().
Referenced by vcsn::rat::info< ExpSet >::VCSN_RAT_VISIT().
|
inlineprivate |
size_t vcsn::rat::info< ExpSet >::add = 0 |
Definition at line 98 of file info.hh.
Referenced by vcsn::rat::info< ExpSet >::VCSN_RAT_VISIT().
size_t vcsn::rat::info< ExpSet >::atom = 0 |
Definition at line 99 of file info.hh.
Referenced by vcsn::rat::info< ExpSet >::VCSN_RAT_VISIT().
size_t vcsn::rat::info< ExpSet >::complement = 0 |
Definition at line 100 of file info.hh.
Referenced by vcsn::rat::info< ExpSet >::VCSN_RAT_VISIT().
size_t vcsn::rat::info< ExpSet >::compose = 0 |
Definition at line 101 of file info.hh.
Referenced by vcsn::rat::info< ExpSet >::VCSN_RAT_VISIT().
size_t vcsn::rat::info< ExpSet >::conjunction = 0 |
Definition at line 102 of file info.hh.
Referenced by vcsn::rat::info< ExpSet >::VCSN_RAT_VISIT().
size_t vcsn::rat::info< ExpSet >::depth = 0 |
Depth of the tree.
Definition at line 90 of file info.hh.
Referenced by vcsn::rat::info< ExpSet >::clear(), vcsn::rat::info< ExpSet >::visit_tuple< Dummy >::operator()(), vcsn::rat::info< ExpSet >::operator+=(), vcsn::rat::info< ExpSet >::VCSN_RAT_VISIT(), and vcsn::rat::info< ExpSet >::visit_().
size_t vcsn::rat::info< ExpSet >::infiltrate = 0 |
Definition at line 103 of file info.hh.
Referenced by vcsn::rat::info< ExpSet >::VCSN_RAT_VISIT().
size_t vcsn::rat::info< ExpSet >::ldivide = 0 |
Definition at line 104 of file info.hh.
Referenced by vcsn::rat::info< ExpSet >::VCSN_RAT_VISIT().
size_t vcsn::rat::info< ExpSet >::lweight = 0 |
Definition at line 105 of file info.hh.
Referenced by vcsn::rat::info< ExpSet >::VCSN_RAT_VISIT().
size_t vcsn::rat::info< ExpSet >::mul = 0 |
Definition at line 106 of file info.hh.
Referenced by vcsn::rat::info< ExpSet >::VCSN_RAT_VISIT().
size_t vcsn::rat::info< ExpSet >::one = 0 |
Definition at line 107 of file info.hh.
Referenced by vcsn::rat::info< ExpSet >::VCSN_RAT_VISIT().
size_t vcsn::rat::info< ExpSet >::rweight = 0 |
Definition at line 108 of file info.hh.
Referenced by vcsn::rat::info< ExpSet >::VCSN_RAT_VISIT().
size_t vcsn::rat::info< ExpSet >::shuffle = 0 |
Definition at line 109 of file info.hh.
Referenced by vcsn::rat::info< ExpSet >::VCSN_RAT_VISIT().
size_t vcsn::rat::info< ExpSet >::star = 0 |
Definition at line 110 of file info.hh.
Referenced by vcsn::rat::info< ExpSet >::VCSN_RAT_VISIT().
size_t vcsn::rat::info< ExpSet >::transposition = 0 |
Definition at line 111 of file info.hh.
Referenced by vcsn::rat::info< ExpSet >::VCSN_RAT_VISIT().
size_t vcsn::rat::info< ExpSet >::tuple = 0 |
Number of tuple operators.
Definition at line 149 of file info.hh.
Referenced by vcsn::rat::info< ExpSet >::visit_tuple< Dummy >::operator()().
size_t vcsn::rat::info< ExpSet >::zero = 0 |