vcsn::rat::size< RatExpSet > Class Template Reference

#include <size.hh>

Inheritance diagram for vcsn::rat::size< RatExpSet >:

Collaboration diagram for vcsn::rat::size< RatExpSet >:

Public Types
using	ratexpset_t = RatExpSet
using	context_t = context_t_of< ratexpset_t >
using	weight_t = typename context_t::weightset_t::value_t
using	super_t = typename ratexpset_t::const_visitor
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...

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::exp::type_t Type>
void	visit_unary (const unary_t< Type > &n)
	Traverse unary node. More...
template<rat::exp::type_t Type>
void	visit_variadic (const variadic_t< Type > &n)
	Traverse variadic node. More...

Private Attributes
size_t	size_

Detailed Description

template<typename RatExpSet>
class vcsn::rat::size< RatExpSet >

Definition at line 13 of file size.hh.

Member Typedef Documentation

template<typename RatExpSet>

using vcsn::rat::size< RatExpSet >::atom_t = typename super_t:: atom_t

private

Definition at line 51 of file size.hh.

template<typename RatExpSet>

using vcsn::rat::size< RatExpSet >::complement_t = typename super_t:: complement_t

private

Definition at line 52 of file size.hh.

template<typename RatExpSet>

using vcsn::rat::size< RatExpSet >::conjunction_t = typename super_t:: conjunction_t

private

Definition at line 53 of file size.hh.

template<typename RatExpSet>

using vcsn::rat::size< RatExpSet >::context_t = context_t_of<ratexpset_t>

Definition at line 18 of file size.hh.

template<typename RatExpSet>

using vcsn::rat::size< RatExpSet >::inner_t = typename super_t::inner_t

Definition at line 22 of file size.hh.

template<typename RatExpSet>

using vcsn::rat::size< RatExpSet >::ldiv_t = typename super_t:: ldiv_t

private

Definition at line 54 of file size.hh.

template<typename RatExpSet>

using vcsn::rat::size< RatExpSet >::leaf_t = typename super_t::leaf_t

Definition at line 27 of file size.hh.

template<typename RatExpSet>

using vcsn::rat::size< RatExpSet >::lweight_t = typename super_t:: lweight_t

private

Definition at line 55 of file size.hh.

template<typename RatExpSet>

using vcsn::rat::size< RatExpSet >::node_t = typename super_t::node_t

Definition at line 21 of file size.hh.

template<typename RatExpSet>

using vcsn::rat::size< RatExpSet >::one_t = typename super_t:: one_t

private

Definition at line 56 of file size.hh.

template<typename RatExpSet>

using vcsn::rat::size< RatExpSet >::prod_t = typename super_t:: prod_t

private

Definition at line 57 of file size.hh.

template<typename RatExpSet>

using vcsn::rat::size< RatExpSet >::ratexpset_t = RatExpSet

Definition at line 17 of file size.hh.

template<typename RatExpSet>

using vcsn::rat::size< RatExpSet >::rweight_t = typename super_t:: rweight_t

private

Definition at line 58 of file size.hh.

template<typename RatExpSet>

using vcsn::rat::size< RatExpSet >::shuffle_t = typename super_t:: shuffle_t

private

Definition at line 59 of file size.hh.

template<typename RatExpSet>

using vcsn::rat::size< RatExpSet >::star_t = typename super_t:: star_t

private

Definition at line 60 of file size.hh.

template<typename RatExpSet>

using vcsn::rat::size< RatExpSet >::sum_t = typename super_t:: sum_t

private

Definition at line 61 of file size.hh.

template<typename RatExpSet>

using vcsn::rat::size< RatExpSet >::super_t = typename ratexpset_t::const_visitor

Definition at line 20 of file size.hh.

template<typename RatExpSet>

using vcsn::rat::size< RatExpSet >::transposition_t = typename super_t:: transposition_t

private

Definition at line 62 of file size.hh.

template<typename RatExpSet>

template<type_t Type>

using vcsn::rat::size< RatExpSet >::unary_t = typename super_t::template unary_t<Type>

Definition at line 24 of file size.hh.

template<typename RatExpSet>

template<type_t Type>

using vcsn::rat::size< RatExpSet >::variadic_t = typename super_t::template variadic_t<Type>

Definition at line 26 of file size.hh.

template<typename RatExpSet>

using vcsn::rat::size< RatExpSet >::weight_t = typename context_t::weightset_t::value_t

Definition at line 19 of file size.hh.

template<typename RatExpSet>

using vcsn::rat::size< RatExpSet >::zero_t = typename super_t:: zero_t

private

Definition at line 63 of file size.hh.

Member Function Documentation

template<typename RatExpSet>

size_t vcsn::rat::size< RatExpSet >::operator() ( const node_t &  v )

inline

Entry point: return the size of v.

Definition at line 31 of file size.hh.

References vcsn::rat::size< RatExpSet >::size_.

Referenced by vcsn::rat::size< RatExpSet >::operator()().

template<typename RatExpSet>

size_t vcsn::rat::size< RatExpSet >::operator() ( const std::shared_ptr< const node_t > &  v )

inline

Entry point: return the size of v.

Definition at line 40 of file size.hh.

References vcsn::rat::size< RatExpSet >::operator()().

Here is the call graph for this function:

template<typename RatExpSet >

auto vcsn::rat::size< RatExpSet >::visit ( const atom_t &  v )

inlineprivatevirtual

Definition at line 31 of file size.hxx.

template<typename RatExpSet>

virtual void vcsn::rat::size< RatExpSet >::visit ( const complement_t &  v )

inlineprivatevirtual

Definition at line 52 of file size.hh.

References vcsn::rat::size< RatExpSet >::visit_unary().

Here is the call graph for this function:

template<typename RatExpSet>

virtual void vcsn::rat::size< RatExpSet >::visit ( const conjunction_t &  v )

inlineprivatevirtual

Definition at line 53 of file size.hh.

References vcsn::rat::size< RatExpSet >::visit_variadic().

Here is the call graph for this function:

template<typename RatExpSet>

virtual void vcsn::rat::size< RatExpSet >::visit ( const ldiv_t &  v )

inlineprivatevirtual

Definition at line 54 of file size.hh.

References vcsn::rat::size< RatExpSet >::visit_variadic().

Here is the call graph for this function:

template<typename RatExpSet >

auto vcsn::rat::size< RatExpSet >::visit ( const lweight_t &  v )

inlineprivatevirtual

Definition at line 38 of file size.hxx.

template<typename RatExpSet >

auto vcsn::rat::size< RatExpSet >::visit ( const one_t &  v )

inlineprivatevirtual

Definition at line 25 of file size.hxx.

template<typename RatExpSet>

virtual void vcsn::rat::size< RatExpSet >::visit ( const prod_t &  v )

inlineprivatevirtual

Definition at line 57 of file size.hh.

References vcsn::rat::size< RatExpSet >::visit_variadic().

Here is the call graph for this function:

template<typename RatExpSet >

auto vcsn::rat::size< RatExpSet >::visit ( const rweight_t &  v )

inlineprivatevirtual

Definition at line 44 of file size.hxx.

template<typename RatExpSet>

virtual void vcsn::rat::size< RatExpSet >::visit ( const shuffle_t &  v )

inlineprivatevirtual

Definition at line 59 of file size.hh.

References vcsn::rat::size< RatExpSet >::visit_variadic().

Here is the call graph for this function:

template<typename RatExpSet>

virtual void vcsn::rat::size< RatExpSet >::visit ( const star_t &  v )

inlineprivatevirtual

Definition at line 60 of file size.hh.

References vcsn::rat::size< RatExpSet >::visit_unary().

Here is the call graph for this function:

template<typename RatExpSet>

virtual void vcsn::rat::size< RatExpSet >::visit ( const sum_t &  v )

inlineprivatevirtual

Definition at line 61 of file size.hh.

References vcsn::rat::size< RatExpSet >::visit_variadic().

Here is the call graph for this function:

template<typename RatExpSet>

virtual void vcsn::rat::size< RatExpSet >::visit ( const transposition_t &  v )

inlineprivatevirtual

Definition at line 62 of file size.hh.

References vcsn::rat::size< RatExpSet >::visit_unary().

Here is the call graph for this function:

template<typename RatExpSet >

auto vcsn::rat::size< RatExpSet >::visit ( const zero_t &  v )

inlineprivatevirtual

Definition at line 19 of file size.hxx.

template<typename RatExpSet >

template<type_t Type>

void vcsn::rat::size< RatExpSet >::visit_unary ( const unary_t< Type > &  n )

inlineprivate

Traverse unary node.

Definition at line 54 of file size.hxx.

Referenced by vcsn::rat::size< RatExpSet >::visit().

template<typename RatExpSet >

template<type_t Type>

void vcsn::rat::size< RatExpSet >::visit_variadic ( const variadic_t< Type > &  n )

inlineprivate

Traverse variadic node.

Definition at line 64 of file size.hxx.

Referenced by vcsn::rat::size< RatExpSet >::visit().

Member Data Documentation

template<typename RatExpSet>

size_t vcsn::rat::size< RatExpSet >::size_

private

Definition at line 75 of file size.hh.

Referenced by vcsn::rat::size< RatExpSet >::operator()().

---

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

• vcsn/core/rat/size.hh
• vcsn/core/rat/size.hxx