Vcsn  2.4
Be Rational
vcsn::rat::info< ExpSet > Class Template Reference

Gather information of the number of the different node types. More...

#include <fwd.hh>

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

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 >
infooperator+= (const info< OtherExpSet > &other)
 Add the result from another info operator. More...
 

Static Public Member Functions

static constexpr const charme ()
 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
 

Detailed Description

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

Gather information of the number of the different node types.

Template Parameters
ExpSetthe expressionset type.

Definition at line 20 of file fwd.hh.

Member Typedef Documentation

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

Definition at line 26 of file info.hh.

template<typename ExpSet>
using vcsn::rat::info< ExpSet >::expression_t = typename node_t::value_t

A shared_ptr to node_t.

Definition at line 31 of file info.hh.

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

Definition at line 22 of file info.hh.

template<typename ExpSet>
using vcsn::rat::info< ExpSet >::node_t = typename super_t::node_t

Actual node, without indirection.

Definition at line 29 of file info.hh.

template<typename ExpSet>
using vcsn::rat::info< ExpSet >::self_t = info

Definition at line 24 of file info.hh.

template<typename ExpSet>
using vcsn::rat::info< ExpSet >::super_t = typename expressionset_t::const_visitor

Definition at line 23 of file info.hh.

template<typename ExpSet>
using vcsn::rat::info< ExpSet >::tuple_t = typename super_t::tuple_t

Definition at line 150 of file info.hh.

template<typename ExpSet>
template<type_t Type>
using vcsn::rat::info< ExpSet >::unary_t = rat::unary<Type, context_t>
private

Definition at line 117 of file info.hh.

template<typename ExpSet>
template<type_t Type>
using vcsn::rat::info< ExpSet >::variadic_t = rat::variadic<Type, context_t>
private

Definition at line 128 of file info.hh.

Member Function Documentation

template<typename ExpSet>
void vcsn::rat::info< ExpSet >::clear ( )
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()().

template<typename ExpSet>
static constexpr const char* vcsn::rat::info< ExpSet >::me ( )
inlinestatic

Name of this algorithm, for error messages.

Definition at line 87 of file info.hh.

template<typename ExpSet>
void vcsn::rat::info< ExpSet >::operator() ( const expression_t v)
inline

Entry point: compute info about v.

Definition at line 34 of file info.hh.

References vcsn::rat::info< ExpSet >::clear().

Here is the call graph for this function:

template<typename ExpSet>
template<typename OtherExpSet >
info& vcsn::rat::info< ExpSet >::operator+= ( const info< OtherExpSet > &  other)
inline

Add the result from another info operator.

Definition at line 64 of file info.hh.

References vcsn::rat::info< ExpSet >::depth.

template<typename ExpSet>
vcsn::rat::info< ExpSet >::VCSN_RAT_VISIT ( add  ,
v   
)
inlineprivate

Definition at line 98 of file info.hh.

References vcsn::rat::info< ExpSet >::add, vcsn::v, and vcsn::rat::info< ExpSet >::visit_().

Here is the call graph for this function:

template<typename ExpSet>
vcsn::rat::info< ExpSet >::VCSN_RAT_VISIT ( atom  ,
v   
)
inlineprivate

Definition at line 99 of file info.hh.

References vcsn::rat::info< ExpSet >::atom, vcsn::v, and vcsn::detail::void.

template<typename ExpSet>
vcsn::rat::info< ExpSet >::VCSN_RAT_VISIT ( complement  ,
v   
)
inlineprivate

Definition at line 100 of file info.hh.

References vcsn::rat::info< ExpSet >::complement, vcsn::v, and vcsn::rat::info< ExpSet >::visit_().

Here is the call graph for this function:

template<typename ExpSet>
vcsn::rat::info< ExpSet >::VCSN_RAT_VISIT ( compose  ,
v   
)
inlineprivate

Definition at line 101 of file info.hh.

References vcsn::rat::info< ExpSet >::compose, vcsn::v, and vcsn::rat::info< ExpSet >::visit_().

Here is the call graph for this function:

template<typename ExpSet>
vcsn::rat::info< ExpSet >::VCSN_RAT_VISIT ( conjunction  ,
v   
)
inlineprivate

Definition at line 102 of file info.hh.

References vcsn::rat::info< ExpSet >::conjunction, vcsn::v, and vcsn::rat::info< ExpSet >::visit_().

Here is the call graph for this function:

template<typename ExpSet>
vcsn::rat::info< ExpSet >::VCSN_RAT_VISIT ( infiltrate  ,
v   
)
inlineprivate

Definition at line 103 of file info.hh.

References vcsn::rat::info< ExpSet >::infiltrate, vcsn::v, and vcsn::rat::info< ExpSet >::visit_().

Here is the call graph for this function:

template<typename ExpSet>
vcsn::rat::info< ExpSet >::VCSN_RAT_VISIT ( ldivide  ,
v   
)
inlineprivate

Definition at line 104 of file info.hh.

References vcsn::rat::info< ExpSet >::ldivide, vcsn::v, and vcsn::rat::info< ExpSet >::visit_().

Here is the call graph for this function:

template<typename ExpSet>
vcsn::rat::info< ExpSet >::VCSN_RAT_VISIT ( lweight  ,
v   
)
inlineprivate
template<typename ExpSet>
vcsn::rat::info< ExpSet >::VCSN_RAT_VISIT ( mul  ,
v   
)
inlineprivate

Definition at line 106 of file info.hh.

References vcsn::rat::info< ExpSet >::mul, vcsn::v, and vcsn::rat::info< ExpSet >::visit_().

Here is the call graph for this function:

template<typename ExpSet>
vcsn::rat::info< ExpSet >::VCSN_RAT_VISIT ( one  ,
v   
)
inlineprivate

Definition at line 107 of file info.hh.

References vcsn::rat::info< ExpSet >::one, vcsn::v, and vcsn::detail::void.

template<typename ExpSet>
vcsn::rat::info< ExpSet >::VCSN_RAT_VISIT ( rweight  ,
v   
)
inlineprivate
template<typename ExpSet>
vcsn::rat::info< ExpSet >::VCSN_RAT_VISIT ( shuffle  ,
v   
)
inlineprivate

Definition at line 109 of file info.hh.

References vcsn::rat::info< ExpSet >::shuffle, vcsn::v, and vcsn::rat::info< ExpSet >::visit_().

Here is the call graph for this function:

template<typename ExpSet>
vcsn::rat::info< ExpSet >::VCSN_RAT_VISIT ( star  ,
v   
)
inlineprivate

Definition at line 110 of file info.hh.

References vcsn::rat::info< ExpSet >::star, vcsn::v, and vcsn::rat::info< ExpSet >::visit_().

Here is the call graph for this function:

template<typename ExpSet>
vcsn::rat::info< ExpSet >::VCSN_RAT_VISIT ( transposition  ,
v   
)
inlineprivate

Definition at line 111 of file info.hh.

References vcsn::rat::info< ExpSet >::transposition, vcsn::v, and vcsn::rat::info< ExpSet >::visit_().

Here is the call graph for this function:

template<typename ExpSet>
vcsn::rat::info< ExpSet >::VCSN_RAT_VISIT ( zero  ,
v   
)
inlineprivate

Definition at line 112 of file info.hh.

template<typename ExpSet>
void vcsn::rat::info< ExpSet >::visit ( const tuple_t v,
std::true_type   
)
inlineoverrideprivate

Definition at line 186 of file info.hh.

References vcsn::v.

template<typename ExpSet>
template<rat::exp::type_t Type>
void vcsn::rat::info< ExpSet >::visit_ ( const unary_t< Type > &  v)
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().

Here is the call graph for this function:

template<typename ExpSet>
template<exp::type_t Type>
void vcsn::rat::info< ExpSet >::visit_ ( const variadic_t< Type > &  v)
inlineprivate

Factor the visitation of variadic nodes.

Definition at line 132 of file info.hh.

Member Data Documentation

template<typename ExpSet>
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().

template<typename ExpSet>
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().

template<typename ExpSet>
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().

template<typename ExpSet>
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().

template<typename ExpSet>
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().

template<typename ExpSet>
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().

template<typename ExpSet>
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().

template<typename ExpSet>
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().

template<typename ExpSet>
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().

template<typename ExpSet>
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().

template<typename ExpSet>
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().

template<typename ExpSet>
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().

template<typename ExpSet>
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().

template<typename ExpSet>
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().

template<typename ExpSet>
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()().

template<typename ExpSet>
size_t vcsn::rat::info< ExpSet >::zero = 0

Definition at line 112 of file info.hh.


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