Vcsn  2.0
Be Rational
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
Public Types | Public Member Functions | Static Public Member Functions | Private Attributes | List of all members
vcsn::rat::constant_term_visitor< RatExpSet > Class Template Reference

#include <constant-term.hh>

Inheritance diagram for vcsn::rat::constant_term_visitor< RatExpSet >:
Collaboration diagram for vcsn::rat::constant_term_visitor< RatExpSet >:

Public Types

using ratexpset_t = RatExpSet
 
using context_t = context_t_of< ratexpset_t >
 
using ratexp_t = typename ratexpset_t::value_t
 
using weight_t = weight_t_of< ratexpset_t >
 
using weightset_t = weightset_t_of< ratexpset_t >
 
using super_t = typename ratexpset_t::const_visitor
 

Public Member Functions

 constant_term_visitor (const ratexpset_t &rs)
 
weight_t operator() (const ratexp_t &v)
 
weight_t constant_term (const ratexp_t &v)
 Easy recursion. More...
 
 VCSN_RAT_VISIT (zero,)
 
 VCSN_RAT_VISIT (one,)
 
 VCSN_RAT_VISIT (atom,)
 
 VCSN_RAT_VISIT (sum, v)
 
 VCSN_RAT_VISIT (prod, v)
 
 VCSN_RAT_VISIT (conjunction, v)
 
 VCSN_RAT_VISIT (shuffle, v)
 
 VCSN_RAT_VISIT (star, v)
 
 VCSN_RAT_VISIT (lweight, v)
 
 VCSN_RAT_VISIT (rweight, v)
 
 VCSN_RAT_VISIT (complement, v)
 

Static Public Member Functions

static constexpr const char * me ()
 

Private Attributes

weightset_t ws_
 
weight_t res_
 

Detailed Description

template<typename RatExpSet>
class vcsn::rat::constant_term_visitor< RatExpSet >

Template Parameters
RatExpSetthe ratexp set type.

Definition at line 24 of file constant-term.hh.

Member Typedef Documentation

template<typename RatExpSet >
using vcsn::rat::constant_term_visitor< RatExpSet >::context_t = context_t_of<ratexpset_t>

Definition at line 29 of file constant-term.hh.

template<typename RatExpSet >
using vcsn::rat::constant_term_visitor< RatExpSet >::ratexp_t = typename ratexpset_t::value_t

Definition at line 30 of file constant-term.hh.

template<typename RatExpSet >
using vcsn::rat::constant_term_visitor< RatExpSet >::ratexpset_t = RatExpSet

Definition at line 28 of file constant-term.hh.

template<typename RatExpSet >
using vcsn::rat::constant_term_visitor< RatExpSet >::super_t = typename ratexpset_t::const_visitor

Definition at line 34 of file constant-term.hh.

template<typename RatExpSet >
using vcsn::rat::constant_term_visitor< RatExpSet >::weight_t = weight_t_of<ratexpset_t>

Definition at line 31 of file constant-term.hh.

template<typename RatExpSet >
using vcsn::rat::constant_term_visitor< RatExpSet >::weightset_t = weightset_t_of<ratexpset_t>

Definition at line 32 of file constant-term.hh.

Constructor & Destructor Documentation

template<typename RatExpSet >
vcsn::rat::constant_term_visitor< RatExpSet >::constant_term_visitor ( const ratexpset_t &  rs)
inline

Definition at line 38 of file constant-term.hh.

Member Function Documentation

template<typename RatExpSet >
weight_t vcsn::rat::constant_term_visitor< RatExpSet >::constant_term ( const ratexp_t &  v)
inline

Easy recursion.

Definition at line 50 of file constant-term.hh.

References vcsn::rat::constant_term_visitor< RatExpSet >::res_.

Referenced by vcsn::rat::constant_term_visitor< RatExpSet >::VCSN_RAT_VISIT().

template<typename RatExpSet >
static constexpr const char* vcsn::rat::constant_term_visitor< RatExpSet >::me ( )
inlinestatic

Definition at line 36 of file constant-term.hh.

template<typename RatExpSet >
weight_t vcsn::rat::constant_term_visitor< RatExpSet >::operator() ( const ratexp_t &  v)
inline

Definition at line 43 of file constant-term.hh.

References vcsn::rat::constant_term_visitor< RatExpSet >::res_.

template<typename RatExpSet >
vcsn::rat::constant_term_visitor< RatExpSet >::VCSN_RAT_VISIT ( zero  )
inline

Definition at line 56 of file constant-term.hh.

References vcsn::rat::constant_term_visitor< RatExpSet >::res_, and vcsn::rat::constant_term_visitor< RatExpSet >::ws_.

template<typename RatExpSet >
vcsn::rat::constant_term_visitor< RatExpSet >::VCSN_RAT_VISIT ( one  )
inline

Definition at line 61 of file constant-term.hh.

References vcsn::rat::constant_term_visitor< RatExpSet >::res_, and vcsn::rat::constant_term_visitor< RatExpSet >::ws_.

template<typename RatExpSet >
vcsn::rat::constant_term_visitor< RatExpSet >::VCSN_RAT_VISIT ( atom  )
inline

Definition at line 66 of file constant-term.hh.

References vcsn::rat::constant_term_visitor< RatExpSet >::res_, and vcsn::rat::constant_term_visitor< RatExpSet >::ws_.

template<typename RatExpSet >
vcsn::rat::constant_term_visitor< RatExpSet >::VCSN_RAT_VISIT ( sum  ,
v   
)
inline

Definition at line 71 of file constant-term.hh.

References vcsn::rat::constant_term_visitor< RatExpSet >::constant_term(), vcsn::rat::constant_term_visitor< RatExpSet >::res_, and vcsn::rat::constant_term_visitor< RatExpSet >::ws_.

Here is the call graph for this function:

template<typename RatExpSet >
vcsn::rat::constant_term_visitor< RatExpSet >::VCSN_RAT_VISIT ( prod  ,
v   
)
inline

Definition at line 79 of file constant-term.hh.

References vcsn::rat::constant_term_visitor< RatExpSet >::constant_term(), vcsn::rat::constant_term_visitor< RatExpSet >::res_, and vcsn::rat::constant_term_visitor< RatExpSet >::ws_.

Here is the call graph for this function:

template<typename RatExpSet >
vcsn::rat::constant_term_visitor< RatExpSet >::VCSN_RAT_VISIT ( conjunction  ,
v   
)
inline

Definition at line 90 of file constant-term.hh.

References vcsn::rat::constant_term_visitor< RatExpSet >::constant_term(), vcsn::rat::constant_term_visitor< RatExpSet >::res_, and vcsn::rat::constant_term_visitor< RatExpSet >::ws_.

Here is the call graph for this function:

template<typename RatExpSet >
vcsn::rat::constant_term_visitor< RatExpSet >::VCSN_RAT_VISIT ( shuffle  ,
v   
)
inline

Definition at line 99 of file constant-term.hh.

References vcsn::rat::constant_term_visitor< RatExpSet >::constant_term(), vcsn::rat::constant_term_visitor< RatExpSet >::res_, and vcsn::rat::constant_term_visitor< RatExpSet >::ws_.

Here is the call graph for this function:

template<typename RatExpSet >
vcsn::rat::constant_term_visitor< RatExpSet >::VCSN_RAT_VISIT ( star  ,
v   
)
inline

Definition at line 108 of file constant-term.hh.

References vcsn::rat::constant_term_visitor< RatExpSet >::constant_term(), vcsn::rat::constant_term_visitor< RatExpSet >::res_, and vcsn::rat::constant_term_visitor< RatExpSet >::ws_.

Here is the call graph for this function:

template<typename RatExpSet >
vcsn::rat::constant_term_visitor< RatExpSet >::VCSN_RAT_VISIT ( lweight  ,
v   
)
inline

Definition at line 113 of file constant-term.hh.

References vcsn::rat::constant_term_visitor< RatExpSet >::constant_term(), vcsn::rat::constant_term_visitor< RatExpSet >::res_, and vcsn::rat::constant_term_visitor< RatExpSet >::ws_.

Here is the call graph for this function:

template<typename RatExpSet >
vcsn::rat::constant_term_visitor< RatExpSet >::VCSN_RAT_VISIT ( rweight  ,
v   
)
inline

Definition at line 119 of file constant-term.hh.

References vcsn::rat::constant_term_visitor< RatExpSet >::constant_term(), vcsn::rat::constant_term_visitor< RatExpSet >::res_, and vcsn::rat::constant_term_visitor< RatExpSet >::ws_.

Here is the call graph for this function:

template<typename RatExpSet >
vcsn::rat::constant_term_visitor< RatExpSet >::VCSN_RAT_VISIT ( complement  ,
v   
)
inline

Definition at line 125 of file constant-term.hh.

References vcsn::rat::constant_term_visitor< RatExpSet >::constant_term(), vcsn::rat::constant_term_visitor< RatExpSet >::res_, and vcsn::rat::constant_term_visitor< RatExpSet >::ws_.

Here is the call graph for this function:

Member Data Documentation

template<typename RatExpSet >
weight_t vcsn::rat::constant_term_visitor< RatExpSet >::res_
private

Definition at line 136 of file constant-term.hh.

Referenced by vcsn::rat::constant_term_visitor< RatExpSet >::constant_term(), vcsn::rat::constant_term_visitor< RatExpSet >::operator()(), and vcsn::rat::constant_term_visitor< RatExpSet >::VCSN_RAT_VISIT().

template<typename RatExpSet >
weightset_t vcsn::rat::constant_term_visitor< RatExpSet >::ws_
private

Definition at line 135 of file constant-term.hh.

Referenced by vcsn::rat::constant_term_visitor< RatExpSet >::VCSN_RAT_VISIT().

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