![]() |
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.