awali::sttc::rat::size< RatExpSet > Class Template Reference

#include <size.hh>

Inheritance diagram for awali::sttc::rat::size< RatExpSet >:

Public Types
using	context_t = context_t_of< ratexpset_t >
using	inner_t = typename super_type::inner_t
using	leaf_t = typename super_type::leaf_t
using	node_t = typename super_type::node_t
using	ratexpset_t = RatExpSet
using	super_type = typename ratexpset_t::const_visitor
template<type_t Type>
using	unary_t = typename super_type::template unary_t< Type >
template<type_t Type>
using	variadic_t = typename super_type::template variadic_t< Type >
using	weight_t = typename context_t::weightset_t::value_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...

Member Typedef Documentation

context_t

template<typename RatExpSet >

using awali::sttc::rat::size< RatExpSet >::context_t = context_t_of<ratexpset_t>

inner_t

template<typename RatExpSet >

using awali::sttc::rat::size< RatExpSet >::inner_t = typename super_type::inner_t

leaf_t

template<typename RatExpSet >

using awali::sttc::rat::size< RatExpSet >::leaf_t = typename super_type::leaf_t

node_t

template<typename RatExpSet >

using awali::sttc::rat::size< RatExpSet >::node_t = typename super_type::node_t

ratexpset_t

template<typename RatExpSet >

using awali::sttc::rat::size< RatExpSet >::ratexpset_t = RatExpSet

super_type

template<typename RatExpSet >

using awali::sttc::rat::size< RatExpSet >::super_type = typename ratexpset_t::const_visitor

unary_t

template<typename RatExpSet >

template<type_t Type>

using awali::sttc::rat::size< RatExpSet >::unary_t = typename super_type::template unary_t<Type>

variadic_t

template<typename RatExpSet >

template<type_t Type>

using awali::sttc::rat::size< RatExpSet >::variadic_t = typename super_type::template variadic_t<Type>

weight_t

template<typename RatExpSet >

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

Member Function Documentation

operator()() [1/2]

template<typename RatExpSet >

size_t awali::sttc::rat::size< RatExpSet >::operator()

(

const node_t &

v

)

Entry point: return the size of v.

operator()() [2/2]

template<typename RatExpSet >

size_t awali::sttc::rat::size< RatExpSet >::operator()

(

const std::shared_ptr< const node_t > &

v

)

Entry point: return the size of v.

---

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

• /home/marsault/git-client/vcsn.telecom-paristech.fr/awali.git/awali/sttc/core/rat/size.hh
• /home/marsault/git-client/vcsn.telecom-paristech.fr/awali.git/awali/sttc/core/rat/size.hxx