Vcsn  2.2
Be Rational
Public Types | Public Member Functions | Static Public Member Functions | Private Types | Private Member Functions | Private Attributes | List of all members
vcsn::detail::star_heighter< ExpSet > Class Template Reference

#include <star-height.hh>

Inheritance diagram for vcsn::detail::star_heighter< ExpSet >:
Collaboration diagram for vcsn::detail::star_heighter< ExpSet >:

Public Types

using expressionset_t = ExpSet
 
using super_t = typename expressionset_t::const_visitor
 
using node_t = typename super_t::node_t
 

Public Member Functions

unsigned operator() (const node_t &v)
 Entry point: return the size of v. More...
 
unsigned 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

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

 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,)
 
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...
 
virtual void visit (const tuple_t &, std::true_type) override
 

Private Attributes

unsigned height_
 The current star height. More...
 

Detailed Description

template<typename ExpSet>
class vcsn::detail::star_heighter< ExpSet >

Definition at line 10 of file star-height.hh.

Member Typedef Documentation

template<typename ExpSet>
using vcsn::detail::star_heighter< ExpSet >::expressionset_t = ExpSet

Definition at line 14 of file star-height.hh.

template<typename ExpSet>
using vcsn::detail::star_heighter< ExpSet >::node_t = typename super_t::node_t

Definition at line 16 of file star-height.hh.

template<typename ExpSet>
using vcsn::detail::star_heighter< ExpSet >::super_t = typename expressionset_t::const_visitor

Definition at line 15 of file star-height.hh.

template<typename ExpSet>
using vcsn::detail::star_heighter< ExpSet >::tuple_t = typename super_t::tuple_t
private

Definition at line 84 of file star-height.hh.

template<typename ExpSet>
template<rat::type_t Type>
using vcsn::detail::star_heighter< ExpSet >::unary_t = typename super_t::template unary_t<Type>
private

Definition at line 55 of file star-height.hh.

template<typename ExpSet>
template<rat::type_t Type>
using vcsn::detail::star_heighter< ExpSet >::variadic_t = typename super_t::template variadic_t<Type>
private

Definition at line 65 of file star-height.hh.

Member Function Documentation

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

Name of this algorithm, for error messages.

Definition at line 19 of file star-height.hh.

Referenced by vcsn::detail::star_heighter< ExpSet >::visit().

template<typename ExpSet>
unsigned vcsn::detail::star_heighter< ExpSet >::operator() ( const node_t &  v)
inline

Entry point: return the size of v.

Definition at line 23 of file star-height.hh.

References vcsn::detail::star_heighter< ExpSet >::height_.

Referenced by vcsn::detail::star_heighter< ExpSet >::operator()().

template<typename ExpSet>
unsigned vcsn::detail::star_heighter< ExpSet >::operator() ( const std::shared_ptr< const node_t > &  v)
inline

Entry point: return the size of v.

Definition at line 32 of file star-height.hh.

References vcsn::detail::star_heighter< ExpSet >::operator()().

Here is the call graph for this function:

template<typename ExpSet>
vcsn::detail::star_heighter< ExpSet >::VCSN_RAT_VISIT ( atom  )
inlineprivate

Definition at line 39 of file star-height.hh.

template<typename ExpSet>
vcsn::detail::star_heighter< ExpSet >::VCSN_RAT_VISIT ( complement  ,
v   
)
inlineprivate

Definition at line 40 of file star-height.hh.

References vcsn::detail::v, and vcsn::detail::star_heighter< ExpSet >::visit_().

Here is the call graph for this function:

template<typename ExpSet>
vcsn::detail::star_heighter< ExpSet >::VCSN_RAT_VISIT ( conjunction  ,
v   
)
inlineprivate

Definition at line 41 of file star-height.hh.

References vcsn::detail::v, and vcsn::detail::star_heighter< ExpSet >::visit_().

Here is the call graph for this function:

template<typename ExpSet>
vcsn::detail::star_heighter< ExpSet >::VCSN_RAT_VISIT ( infiltration  ,
v   
)
inlineprivate

Definition at line 42 of file star-height.hh.

References vcsn::detail::v, and vcsn::detail::star_heighter< ExpSet >::visit_().

Here is the call graph for this function:

template<typename ExpSet>
vcsn::detail::star_heighter< ExpSet >::VCSN_RAT_VISIT ( ldiv  ,
v   
)
inlineprivate

Definition at line 43 of file star-height.hh.

References vcsn::detail::v, and vcsn::detail::star_heighter< ExpSet >::visit_().

Here is the call graph for this function:

template<typename ExpSet>
vcsn::detail::star_heighter< ExpSet >::VCSN_RAT_VISIT ( lweight  ,
v   
)
inlineprivate

Definition at line 44 of file star-height.hh.

References vcsn::detail::v.

template<typename ExpSet>
vcsn::detail::star_heighter< ExpSet >::VCSN_RAT_VISIT ( one  )
inlineprivate

Definition at line 45 of file star-height.hh.

template<typename ExpSet>
vcsn::detail::star_heighter< ExpSet >::VCSN_RAT_VISIT ( prod  ,
v   
)
inlineprivate

Definition at line 46 of file star-height.hh.

References vcsn::detail::v, and vcsn::detail::star_heighter< ExpSet >::visit_().

Here is the call graph for this function:

template<typename ExpSet>
vcsn::detail::star_heighter< ExpSet >::VCSN_RAT_VISIT ( rweight  ,
v   
)
inlineprivate

Definition at line 47 of file star-height.hh.

References vcsn::detail::v.

template<typename ExpSet>
vcsn::detail::star_heighter< ExpSet >::VCSN_RAT_VISIT ( shuffle  ,
v   
)
inlineprivate

Definition at line 48 of file star-height.hh.

References vcsn::detail::v, and vcsn::detail::star_heighter< ExpSet >::visit_().

Here is the call graph for this function:

template<typename ExpSet>
vcsn::detail::star_heighter< ExpSet >::VCSN_RAT_VISIT ( star  ,
v   
)
inlineprivate

Definition at line 49 of file star-height.hh.

References vcsn::detail::star_heighter< ExpSet >::height_, vcsn::detail::v, and vcsn::detail::star_heighter< ExpSet >::visit_().

Here is the call graph for this function:

template<typename ExpSet>
vcsn::detail::star_heighter< ExpSet >::VCSN_RAT_VISIT ( sum  ,
v   
)
inlineprivate

Definition at line 50 of file star-height.hh.

References vcsn::detail::v, and vcsn::detail::star_heighter< ExpSet >::visit_().

Here is the call graph for this function:

template<typename ExpSet>
vcsn::detail::star_heighter< ExpSet >::VCSN_RAT_VISIT ( transposition  ,
v   
)
inlineprivate

Definition at line 51 of file star-height.hh.

References vcsn::detail::v, and vcsn::detail::star_heighter< ExpSet >::visit_().

Here is the call graph for this function:

template<typename ExpSet>
vcsn::detail::star_heighter< ExpSet >::VCSN_RAT_VISIT ( zero  )
inlineprivate

Definition at line 52 of file star-height.hh.

template<typename ExpSet>
virtual void vcsn::detail::star_heighter< ExpSet >::visit ( const tuple_t &  ,
std::true_type   
)
inlineoverrideprivatevirtual

Definition at line 85 of file star-height.hh.

References vcsn::detail::star_heighter< ExpSet >::me().

Here is the call graph for this function:

template<typename ExpSet>
template<rat::exp::type_t Type>
void vcsn::detail::star_heighter< ExpSet >::visit_ ( const unary_t< Type > &  v)
inlineprivate

Traverse unary node.

Definition at line 59 of file star-height.hh.

Referenced by vcsn::detail::star_heighter< ExpSet >::VCSN_RAT_VISIT().

template<typename ExpSet>
template<rat::type_t Type>
void vcsn::detail::star_heighter< ExpSet >::visit_ ( const variadic_t< Type > &  n)
inlineprivate

Traverse variadic node.

Definition at line 69 of file star-height.hh.

References vcsn::detail::star_heighter< ExpSet >::height_.

Member Data Documentation

template<typename ExpSet>
unsigned vcsn::detail::star_heighter< ExpSet >::height_
private

The current star height.

Definition at line 91 of file star-height.hh.

Referenced by vcsn::detail::star_heighter< ExpSet >::operator()(), vcsn::detail::star_heighter< ExpSet >::VCSN_RAT_VISIT(), and vcsn::detail::star_heighter< ExpSet >::visit_().

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