vcsn::detail::star_heighter< RatExpSet > Class Template Reference

#include <star-height.hh>

Inheritance diagram for vcsn::detail::star_heighter< RatExpSet >:

Collaboration diagram for vcsn::detail::star_heighter< RatExpSet >:

Public Types
using	ratexpset_t = RatExpSet
using	super_t = typename ratexpset_t::const_visitor
using	node_t = typename super_t::node_t
template<rat::type_t Type>
using	variadic_t = typename super_t::template variadic_t< Type >

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...

Private Types
using	atom_t = typename super_t::atom_t
using	complement_t = typename super_t::complement_t
using	conjunction_t = typename super_t::conjunction_t
using	ldiv_t = typename super_t::ldiv_t
using	lweight_t = typename super_t::lweight_t
using	one_t = typename super_t::one_t
using	prod_t = typename super_t::prod_t
using	rweight_t = typename super_t::rweight_t
using	shuffle_t = typename super_t::shuffle_t
using	star_t = typename super_t::star_t
using	sum_t = typename super_t::sum_t
using	transposition_t = typename super_t::transposition_t
using	zero_t = typename super_t::zero_t

Private Member Functions
virtual void	visit (const atom_t &v)
virtual void	visit (const complement_t &v)
virtual void	visit (const conjunction_t &v)
virtual void	visit (const ldiv_t &v)
virtual void	visit (const lweight_t &v)
virtual void	visit (const one_t &v)
virtual void	visit (const prod_t &v)
virtual void	visit (const rweight_t &v)
virtual void	visit (const shuffle_t &v)
virtual void	visit (const star_t &v)
virtual void	visit (const sum_t &v)
virtual void	visit (const transposition_t &v)
virtual void	visit (const zero_t &v)
template<rat::type_t Type>
void	visit_variadic (const variadic_t< Type > &n)
	Traverse variadic node. More...

Private Attributes
unsigned	height_

Detailed Description

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

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

Member Typedef Documentation

template<typename RatExpSet>

using vcsn::detail::star_heighter< RatExpSet >::atom_t = typename super_t:: atom_t

private

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

template<typename RatExpSet>

using vcsn::detail::star_heighter< RatExpSet >::complement_t = typename super_t:: complement_t

private

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

template<typename RatExpSet>

using vcsn::detail::star_heighter< RatExpSet >::conjunction_t = typename super_t:: conjunction_t

private

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

template<typename RatExpSet>

using vcsn::detail::star_heighter< RatExpSet >::ldiv_t = typename super_t:: ldiv_t

private

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

template<typename RatExpSet>

using vcsn::detail::star_heighter< RatExpSet >::lweight_t = typename super_t:: lweight_t

private

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

template<typename RatExpSet>

using vcsn::detail::star_heighter< RatExpSet >::node_t = typename super_t::node_t

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

template<typename RatExpSet>

using vcsn::detail::star_heighter< RatExpSet >::one_t = typename super_t:: one_t

private

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

template<typename RatExpSet>

using vcsn::detail::star_heighter< RatExpSet >::prod_t = typename super_t:: prod_t

private

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

template<typename RatExpSet>

using vcsn::detail::star_heighter< RatExpSet >::ratexpset_t = RatExpSet

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

template<typename RatExpSet>

using vcsn::detail::star_heighter< RatExpSet >::rweight_t = typename super_t:: rweight_t

private

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

template<typename RatExpSet>

using vcsn::detail::star_heighter< RatExpSet >::shuffle_t = typename super_t:: shuffle_t

private

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

template<typename RatExpSet>

using vcsn::detail::star_heighter< RatExpSet >::star_t = typename super_t:: star_t

private

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

template<typename RatExpSet>

using vcsn::detail::star_heighter< RatExpSet >::sum_t = typename super_t:: sum_t

private

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

template<typename RatExpSet>

using vcsn::detail::star_heighter< RatExpSet >::super_t = typename ratexpset_t::const_visitor

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

template<typename RatExpSet>

using vcsn::detail::star_heighter< RatExpSet >::transposition_t = typename super_t:: transposition_t

private

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

template<typename RatExpSet>

template<rat::type_t Type>

using vcsn::detail::star_heighter< RatExpSet >::variadic_t = typename super_t::template variadic_t<Type>

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

template<typename RatExpSet>

using vcsn::detail::star_heighter< RatExpSet >::zero_t = typename super_t:: zero_t

private

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

Member Function Documentation

template<typename RatExpSet>

unsigned vcsn::detail::star_heighter< RatExpSet >::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< RatExpSet >::height_.

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

template<typename RatExpSet>

unsigned vcsn::detail::star_heighter< RatExpSet >::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< RatExpSet >::operator()().

Here is the call graph for this function:

template<typename RatExpSet>

virtual void vcsn::detail::star_heighter< RatExpSet >::visit ( const atom_t &  v )

inlineprivatevirtual

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

template<typename RatExpSet>

virtual void vcsn::detail::star_heighter< RatExpSet >::visit ( const complement_t &  v )

inlineprivatevirtual

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

template<typename RatExpSet>

virtual void vcsn::detail::star_heighter< RatExpSet >::visit ( const conjunction_t &  v )

inlineprivatevirtual

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

References vcsn::detail::star_heighter< RatExpSet >::visit_variadic().

Here is the call graph for this function:

template<typename RatExpSet>

virtual void vcsn::detail::star_heighter< RatExpSet >::visit ( const ldiv_t &  v )

inlineprivatevirtual

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

References vcsn::detail::star_heighter< RatExpSet >::visit_variadic().

Here is the call graph for this function:

template<typename RatExpSet>

virtual void vcsn::detail::star_heighter< RatExpSet >::visit ( const lweight_t &  v )

inlineprivatevirtual

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

template<typename RatExpSet>

virtual void vcsn::detail::star_heighter< RatExpSet >::visit ( const one_t &  v )

inlineprivatevirtual

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

template<typename RatExpSet>

virtual void vcsn::detail::star_heighter< RatExpSet >::visit ( const prod_t &  v )

inlineprivatevirtual

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

References vcsn::detail::star_heighter< RatExpSet >::visit_variadic().

Here is the call graph for this function:

template<typename RatExpSet>

virtual void vcsn::detail::star_heighter< RatExpSet >::visit ( const rweight_t &  v )

inlineprivatevirtual

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

template<typename RatExpSet>

virtual void vcsn::detail::star_heighter< RatExpSet >::visit ( const shuffle_t &  v )

inlineprivatevirtual

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

References vcsn::detail::star_heighter< RatExpSet >::visit_variadic().

Here is the call graph for this function:

template<typename RatExpSet>

virtual void vcsn::detail::star_heighter< RatExpSet >::visit ( const star_t &  v )

inlineprivatevirtual

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

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

template<typename RatExpSet>

virtual void vcsn::detail::star_heighter< RatExpSet >::visit ( const sum_t &  v )

inlineprivatevirtual

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

References vcsn::detail::star_heighter< RatExpSet >::visit_variadic().

Here is the call graph for this function:

template<typename RatExpSet>

virtual void vcsn::detail::star_heighter< RatExpSet >::visit ( const transposition_t &  v )

inlineprivatevirtual

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

template<typename RatExpSet>

virtual void vcsn::detail::star_heighter< RatExpSet >::visit ( const zero_t &  v )

inlineprivatevirtual

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

template<typename RatExpSet>

template<rat::type_t Type>

void vcsn::detail::star_heighter< RatExpSet >::visit_variadic ( const variadic_t< Type > &  n )

inlineprivate

Traverse variadic node.

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

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

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

Member Data Documentation

template<typename RatExpSet>

unsigned vcsn::detail::star_heighter< RatExpSet >::height_

private

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

Referenced by vcsn::detail::star_heighter< RatExpSet >::operator()(), vcsn::detail::star_heighter< RatExpSet >::visit(), and vcsn::detail::star_heighter< RatExpSet >::visit_variadic().

---

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

• vcsn/algos/star-height.hh