Awali
Another Weighted Automata library
Public Types | Public Member Functions
awali::sttc::internal::star_heighter< RatExpSet > Class Template Reference

#include <star_height.hh>

Inheritance diagram for awali::sttc::internal::star_heighter< RatExpSet >:

Public Types

using node_t = typename super_type::node_t
 
using ratexpset_t = RatExpSet
 
using super_type = typename ratexpset_t::const_visitor
 
template<rat::type_t Type>
using variadic_t = typename super_type::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...
 

Member Typedef Documentation

◆ node_t

template<typename RatExpSet >
using awali::sttc::internal::star_heighter< RatExpSet >::node_t = typename super_type::node_t

◆ ratexpset_t

template<typename RatExpSet >
using awali::sttc::internal::star_heighter< RatExpSet >::ratexpset_t = RatExpSet

◆ super_type

template<typename RatExpSet >
using awali::sttc::internal::star_heighter< RatExpSet >::super_type = typename ratexpset_t::const_visitor

◆ variadic_t

template<typename RatExpSet >
template<rat::type_t Type>
using awali::sttc::internal::star_heighter< RatExpSet >::variadic_t = typename super_type::template variadic_t<Type>

Member Function Documentation

◆ operator()() [1/2]

template<typename RatExpSet >
unsigned awali::sttc::internal::star_heighter< RatExpSet >::operator() ( const node_t v)

Entry point: return the size of v.

◆ operator()() [2/2]

template<typename RatExpSet >
unsigned awali::sttc::internal::star_heighter< 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 file: