Awali
Another Weighted Automata library
Public Types | Public Member Functions | Static Public Member Functions
awali::sttc::rat::exp_stats_visitor< RatExpSet > Class Template Reference

#include <exp_stats.hh>

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

Public Types

using context_t = context_t_of< ratexpset_t >
 
using ratexp_t = typename ratexpset_t::ratexp_t
 
using ratexpset_t = RatExpSet
 
using super_type = typename ratexpset_t::const_visitor
 

Public Member Functions

 exp_stats_visitor (const ratexpset_t &)
 
 AWALI_RAT_VISIT (atom,)
 
 AWALI_RAT_VISIT (lweight, v)
 
 AWALI_RAT_VISIT (one,)
 
 AWALI_RAT_VISIT (prod, v)
 
 AWALI_RAT_VISIT (rweight, v)
 
 AWALI_RAT_VISIT (star, v)
 
 AWALI_RAT_VISIT (sum, v)
 
 AWALI_RAT_VISIT (zero,)
 
void exp_stats (const ratexp_t &v)
 
unsigned height ()
 
unsigned length ()
 
void operator() (const ratexp_t &v)
 
unsigned size ()
 
unsigned star_height ()
 

Static Public Member Functions

constexpr static const char * me ()
 

Detailed Description

template<typename RatExpSet>
class awali::sttc::rat::exp_stats_visitor< RatExpSet >

Template Parameters
RatExpSetthe ratexp set type.

Member Typedef Documentation

◆ context_t

template<typename RatExpSet >
using awali::sttc::rat::exp_stats_visitor< RatExpSet >::context_t = context_t_of<ratexpset_t>

◆ ratexp_t

template<typename RatExpSet >
using awali::sttc::rat::exp_stats_visitor< RatExpSet >::ratexp_t = typename ratexpset_t::ratexp_t

◆ ratexpset_t

template<typename RatExpSet >
using awali::sttc::rat::exp_stats_visitor< RatExpSet >::ratexpset_t = RatExpSet

◆ super_type

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

Constructor & Destructor Documentation

◆ exp_stats_visitor()

template<typename RatExpSet >
awali::sttc::rat::exp_stats_visitor< RatExpSet >::exp_stats_visitor ( const ratexpset_t )

Member Function Documentation

◆ AWALI_RAT_VISIT() [1/8]

template<typename RatExpSet >
awali::sttc::rat::exp_stats_visitor< RatExpSet >::AWALI_RAT_VISIT ( atom  )

◆ AWALI_RAT_VISIT() [2/8]

template<typename RatExpSet >
awali::sttc::rat::exp_stats_visitor< RatExpSet >::AWALI_RAT_VISIT ( lweight  ,
 
)

◆ AWALI_RAT_VISIT() [3/8]

template<typename RatExpSet >
awali::sttc::rat::exp_stats_visitor< RatExpSet >::AWALI_RAT_VISIT ( one  )

◆ AWALI_RAT_VISIT() [4/8]

template<typename RatExpSet >
awali::sttc::rat::exp_stats_visitor< RatExpSet >::AWALI_RAT_VISIT ( prod  ,
 
)

◆ AWALI_RAT_VISIT() [5/8]

template<typename RatExpSet >
awali::sttc::rat::exp_stats_visitor< RatExpSet >::AWALI_RAT_VISIT ( rweight  ,
 
)

◆ AWALI_RAT_VISIT() [6/8]

template<typename RatExpSet >
awali::sttc::rat::exp_stats_visitor< RatExpSet >::AWALI_RAT_VISIT ( star  ,
 
)

◆ AWALI_RAT_VISIT() [7/8]

template<typename RatExpSet >
awali::sttc::rat::exp_stats_visitor< RatExpSet >::AWALI_RAT_VISIT ( sum  ,
 
)

◆ AWALI_RAT_VISIT() [8/8]

template<typename RatExpSet >
awali::sttc::rat::exp_stats_visitor< RatExpSet >::AWALI_RAT_VISIT ( zero  )

◆ exp_stats()

template<typename RatExpSet >
void awali::sttc::rat::exp_stats_visitor< RatExpSet >::exp_stats ( const ratexp_t v)

◆ height()

template<typename RatExpSet >
unsigned awali::sttc::rat::exp_stats_visitor< RatExpSet >::height ( )

◆ length()

template<typename RatExpSet >
unsigned awali::sttc::rat::exp_stats_visitor< RatExpSet >::length ( )

◆ me()

template<typename RatExpSet >
constexpr static const char* awali::sttc::rat::exp_stats_visitor< RatExpSet >::me ( )
staticconstexpr

◆ operator()()

template<typename RatExpSet >
void awali::sttc::rat::exp_stats_visitor< RatExpSet >::operator() ( const ratexp_t v)

◆ size()

template<typename RatExpSet >
unsigned awali::sttc::rat::exp_stats_visitor< RatExpSet >::size ( )

◆ star_height()

template<typename RatExpSet >
unsigned awali::sttc::rat::exp_stats_visitor< RatExpSet >::star_height ( )

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