Awali
Another Weighted Automata library
|
#include <star_height.hh>
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... | |
using awali::sttc::internal::star_heighter< RatExpSet >::node_t = typename super_type::node_t |
using awali::sttc::internal::star_heighter< RatExpSet >::ratexpset_t = RatExpSet |
using awali::sttc::internal::star_heighter< RatExpSet >::super_type = typename ratexpset_t::const_visitor |
using awali::sttc::internal::star_heighter< RatExpSet >::variadic_t = typename super_type::template variadic_t<Type> |
unsigned awali::sttc::internal::star_heighter< RatExpSet >::operator() | ( | const node_t & | v | ) |
Entry point: return the size of v.
unsigned awali::sttc::internal::star_heighter< RatExpSet >::operator() | ( | const std::shared_ptr< const node_t > & | v | ) |
Entry point: return the size of v.