awali::sttc::rat::const_visitor< Label, Weight > Class Template Reference

#include <visitor.hh>

Public Types
using	atom_t = atom< label_t, weight_t >
using	complement_t = complement< label_t, weight_t >
using	conjunction_t = conjunction< label_t, weight_t >
using	inner_t = inner< label_t, weight_t >
using	label_t = Label
using	ldiv_t = ldiv< label_t, weight_t >
using	leaf_t = leaf< label_t, weight_t >
using	lweight_t = lweight< label_t, weight_t >
using	node_t = node< label_t, weight_t >
using	one_t = one< label_t, weight_t >
using	prod_t = prod< label_t, weight_t >
using	rweight_t = rweight< label_t, weight_t >
using	shuffle_t = shuffle< label_t, weight_t >
using	star_t = star< label_t, weight_t >
using	sum_t = sum< label_t, weight_t >
using	transposition_t = transposition< label_t, weight_t >
template<type_t Type>
using	unary_t = rat::unary< Type, label_t, weight_t >
template<type_t Type>
using	variadic_t = rat::variadic< Type, label_t, weight_t >
template<type_t Type>
using	weight_node_t = rat::weight_node< Type, label_t, weight_t >
using	weight_t = Weight
using	zero_t = zero< label_t, weight_t >

Public Member Functions
virtual	~const_visitor ()=default
virtual void	visit (const atom_t &v)
virtual void	visit (const complement_t &v)
virtual void	visit (const conjunction_t &v)
virtual void	visit (const ldiv_t &v)
virtual void	visit (const lweight_t &v)
virtual void	visit (const one_t &v)
virtual void	visit (const prod_t &v)
virtual void	visit (const rweight_t &v)
virtual void	visit (const shuffle_t &v)
virtual void	visit (const star_t &v)
virtual void	visit (const sum_t &v)
virtual void	visit (const transposition_t &v)
virtual void	visit (const zero_t &v)

Member Typedef Documentation

atom_t

template<typename Label , typename Weight >

using awali::sttc::rat::const_visitor< Label, Weight >::atom_t = atom <label_t, weight_t>

complement_t

template<typename Label , typename Weight >

using awali::sttc::rat::const_visitor< Label, Weight >::complement_t = complement <label_t, weight_t>

conjunction_t

template<typename Label , typename Weight >

using awali::sttc::rat::const_visitor< Label, Weight >::conjunction_t = conjunction <label_t, weight_t>

inner_t

template<typename Label , typename Weight >

using awali::sttc::rat::const_visitor< Label, Weight >::inner_t = inner<label_t, weight_t>

label_t

template<typename Label , typename Weight >

using awali::sttc::rat::const_visitor< Label, Weight >::label_t = Label

ldiv_t

template<typename Label , typename Weight >

using awali::sttc::rat::const_visitor< Label, Weight >::ldiv_t = ldiv <label_t, weight_t>

leaf_t

template<typename Label , typename Weight >

using awali::sttc::rat::const_visitor< Label, Weight >::leaf_t = leaf<label_t, weight_t>

lweight_t

template<typename Label , typename Weight >

using awali::sttc::rat::const_visitor< Label, Weight >::lweight_t = lweight <label_t, weight_t>

node_t

template<typename Label , typename Weight >

using awali::sttc::rat::const_visitor< Label, Weight >::node_t = node<label_t, weight_t>

one_t

template<typename Label , typename Weight >

using awali::sttc::rat::const_visitor< Label, Weight >::one_t = one <label_t, weight_t>

prod_t

template<typename Label , typename Weight >

using awali::sttc::rat::const_visitor< Label, Weight >::prod_t = prod <label_t, weight_t>

rweight_t

template<typename Label , typename Weight >

using awali::sttc::rat::const_visitor< Label, Weight >::rweight_t = rweight <label_t, weight_t>

shuffle_t

template<typename Label , typename Weight >

using awali::sttc::rat::const_visitor< Label, Weight >::shuffle_t = shuffle <label_t, weight_t>

star_t

template<typename Label , typename Weight >

using awali::sttc::rat::const_visitor< Label, Weight >::star_t = star <label_t, weight_t>

sum_t

template<typename Label , typename Weight >

using awali::sttc::rat::const_visitor< Label, Weight >::sum_t = sum <label_t, weight_t>

transposition_t

template<typename Label , typename Weight >

using awali::sttc::rat::const_visitor< Label, Weight >::transposition_t = transposition <label_t, weight_t>

unary_t

template<typename Label , typename Weight >

template<type_t Type>

using awali::sttc::rat::const_visitor< Label, Weight >::unary_t = rat::unary<Type, label_t, weight_t>

variadic_t

template<typename Label , typename Weight >

template<type_t Type>

using awali::sttc::rat::const_visitor< Label, Weight >::variadic_t = rat::variadic<Type, label_t, weight_t>

weight_node_t

template<typename Label , typename Weight >

template<type_t Type>

using awali::sttc::rat::const_visitor< Label, Weight >::weight_node_t = rat::weight_node<Type, label_t, weight_t>

weight_t

template<typename Label , typename Weight >

using awali::sttc::rat::const_visitor< Label, Weight >::weight_t = Weight

zero_t

template<typename Label , typename Weight >

using awali::sttc::rat::const_visitor< Label, Weight >::zero_t = zero <label_t, weight_t>

Constructor & Destructor Documentation

~const_visitor()

template<typename Label , typename Weight >

virtual awali::sttc::rat::const_visitor< Label, Weight >::~const_visitor ( )

virtualdefault

Member Function Documentation

visit() [1/13]

template<typename Label , typename Weight >

void awali::sttc::rat::const_visitor< Label, Weight >::visit ( const atom_t &  v )

virtual

visit() [2/13]

template<typename Label , typename Weight >

void awali::sttc::rat::const_visitor< Label, Weight >::visit ( const complement_t &  v )

virtual

visit() [3/13]

template<typename Label , typename Weight >

void awali::sttc::rat::const_visitor< Label, Weight >::visit ( const conjunction_t &  v )

virtual

visit() [4/13]

template<typename Label , typename Weight >

virtual void awali::sttc::rat::const_visitor< Label, Weight >::visit ( const ldiv_t &  v )

virtual

visit() [5/13]

template<typename Label , typename Weight >

void awali::sttc::rat::const_visitor< Label, Weight >::visit ( const lweight_t &  v )

virtual

visit() [6/13]

template<typename Label , typename Weight >

void awali::sttc::rat::const_visitor< Label, Weight >::visit ( const one_t &  v )

virtual

visit() [7/13]

template<typename Label , typename Weight >

virtual void awali::sttc::rat::const_visitor< Label, Weight >::visit ( const prod_t &  v )

virtual

visit() [8/13]

template<typename Label , typename Weight >

virtual void awali::sttc::rat::const_visitor< Label, Weight >::visit ( const rweight_t &  v )

virtual

visit() [9/13]

template<typename Label , typename Weight >

virtual void awali::sttc::rat::const_visitor< Label, Weight >::visit ( const shuffle_t &  v )

virtual

visit() [10/13]

template<typename Label , typename Weight >

virtual void awali::sttc::rat::const_visitor< Label, Weight >::visit ( const star_t &  v )

virtual

visit() [11/13]

template<typename Label , typename Weight >

virtual void awali::sttc::rat::const_visitor< Label, Weight >::visit ( const sum_t &  v )

virtual

visit() [12/13]

template<typename Label , typename Weight >

virtual void awali::sttc::rat::const_visitor< Label, Weight >::visit ( const transposition_t &  v )

virtual

visit() [13/13]

template<typename Label , typename Weight >

virtual void awali::sttc::rat::const_visitor< Label, Weight >::visit ( const zero_t &  v )

virtual

---

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

• /home/marsault/git-client/telecom/awali.git/awali/sttc/core/rat/fwd.hh
• /home/marsault/git-client/telecom/awali.git/awali/sttc/core/rat/visitor.hh
• /home/marsault/git-client/telecom/awali.git/awali/sttc/core/rat/visitor.hxx