Vcsn  2.2a
Be Rational
vcsn::rat::const_visitor< Context > Class Template Referenceabstract

#include <fwd.hh>

Collaboration diagram for vcsn::rat::const_visitor< Context >:

Public Types

using context_t = Context
 
using node_t = node< context_t >
 
using inner_t = inner< context_t >
 
using leaf_t = leaf< context_t >
 
template<type_t Type>
using constant_t = rat::constant< Type, context_t >
 Nullary node. More...
 
template<type_t Type>
using unary_t = rat::unary< Type, context_t >
 Unary node. More...
 
template<type_t Type>
using variadic_t = rat::variadic< Type, context_t >
 Variadic node. More...
 
template<type_t Type>
using weight_node_t = rat::weight_node< Type, context_t >
 Weight node. More...
 
using tuple_t = tuple< context_t >
 
using atom_t = atom< context_t >
 
using complement_t = complement< context_t >
 
using conjunction_t = conjunction< context_t >
 
using infiltration_t = infiltration< context_t >
 
using ldiv_t = ldiv< context_t >
 
using lweight_t = lweight< context_t >
 
using one_t = one< context_t >
 
using prod_t = prod< context_t >
 
using rweight_t = rweight< context_t >
 
using shuffle_t = shuffle< context_t >
 
using star_t = star< context_t >
 
using sum_t = sum< context_t >
 
using transposition_t = transposition< context_t >
 
using zero_t = zero< context_t >
 

Public Member Functions

void visit (const tuple< context_t > &v)
 
virtual void visit (const tuple_t &v, std::true_type)=0
 
void visit (const tuple< context_t > &, std::false_type)
 
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 infiltration_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)
 

Detailed Description

template<typename Context>
class vcsn::rat::const_visitor< Context >

Definition at line 96 of file fwd.hh.

Member Typedef Documentation

template<typename Context >
using vcsn::rat::const_visitor< Context >::atom_t = atom <context_t>

Definition at line 50 of file visitor.hh.

template<typename Context >
using vcsn::rat::const_visitor< Context >::complement_t = complement <context_t>

Definition at line 51 of file visitor.hh.

template<typename Context >
using vcsn::rat::const_visitor< Context >::conjunction_t = conjunction <context_t>

Definition at line 52 of file visitor.hh.

template<typename Context >
template<type_t Type>
using vcsn::rat::const_visitor< Context >::constant_t = rat::constant<Type, context_t>

Nullary node.

Definition at line 22 of file visitor.hh.

template<typename Context >
using vcsn::rat::const_visitor< Context >::context_t = Context

Definition at line 16 of file visitor.hh.

template<typename Context >
using vcsn::rat::const_visitor< Context >::infiltration_t = infiltration <context_t>

Definition at line 53 of file visitor.hh.

template<typename Context >
using vcsn::rat::const_visitor< Context >::inner_t = inner<context_t>

Definition at line 18 of file visitor.hh.

template<typename Context >
using vcsn::rat::const_visitor< Context >::ldiv_t = ldiv <context_t>

Definition at line 54 of file visitor.hh.

template<typename Context >
using vcsn::rat::const_visitor< Context >::leaf_t = leaf<context_t>

Definition at line 19 of file visitor.hh.

template<typename Context >
using vcsn::rat::const_visitor< Context >::lweight_t = lweight <context_t>

Definition at line 55 of file visitor.hh.

template<typename Context >
using vcsn::rat::const_visitor< Context >::node_t = node<context_t>

Definition at line 17 of file visitor.hh.

template<typename Context >
using vcsn::rat::const_visitor< Context >::one_t = one <context_t>

Definition at line 56 of file visitor.hh.

template<typename Context >
using vcsn::rat::const_visitor< Context >::prod_t = prod <context_t>

Definition at line 57 of file visitor.hh.

template<typename Context >
using vcsn::rat::const_visitor< Context >::rweight_t = rweight <context_t>

Definition at line 58 of file visitor.hh.

template<typename Context >
using vcsn::rat::const_visitor< Context >::shuffle_t = shuffle <context_t>

Definition at line 59 of file visitor.hh.

template<typename Context >
using vcsn::rat::const_visitor< Context >::star_t = star <context_t>

Definition at line 60 of file visitor.hh.

template<typename Context >
using vcsn::rat::const_visitor< Context >::sum_t = sum <context_t>

Definition at line 61 of file visitor.hh.

template<typename Context >
using vcsn::rat::const_visitor< Context >::transposition_t = transposition <context_t>

Definition at line 62 of file visitor.hh.

template<typename Context >
using vcsn::rat::const_visitor< Context >::tuple_t = tuple<context_t>

Definition at line 38 of file visitor.hh.

template<typename Context >
template<type_t Type>
using vcsn::rat::const_visitor< Context >::unary_t = rat::unary<Type, context_t>

Unary node.

Definition at line 25 of file visitor.hh.

template<typename Context >
template<type_t Type>
using vcsn::rat::const_visitor< Context >::variadic_t = rat::variadic<Type, context_t>

Variadic node.

Definition at line 28 of file visitor.hh.

template<typename Context >
template<type_t Type>
using vcsn::rat::const_visitor< Context >::weight_node_t = rat::weight_node<Type, context_t>

Weight node.

Definition at line 31 of file visitor.hh.

template<typename Context >
using vcsn::rat::const_visitor< Context >::zero_t = zero <context_t>

Definition at line 63 of file visitor.hh.

Member Function Documentation

template<typename Context >
void vcsn::rat::const_visitor< Context >::visit ( const tuple< context_t > &  v)
inline

Definition at line 33 of file visitor.hh.

Referenced by vcsn::rat::tuple< Context, Enable >::accept().

template<typename Context >
virtual void vcsn::rat::const_visitor< Context >::visit ( const tuple_t v,
std::true_type   
)
pure virtual
template<typename Context >
void vcsn::rat::const_visitor< Context >::visit ( const tuple< context_t > &  ,
std::false_type   
)
inline

Definition at line 41 of file visitor.hh.

References BUILTIN_UNREACHABLE.

template<typename Context >
void vcsn::rat::const_visitor< Context >::visit ( const atom_t v)
virtual

Definition at line 81 of file visitor.hxx.

template<typename Context >
void vcsn::rat::const_visitor< Context >::visit ( const complement_t v)
virtual

Definition at line 50 of file visitor.hxx.

template<typename Context >
void vcsn::rat::const_visitor< Context >::visit ( const conjunction_t v)
virtual

Definition at line 14 of file visitor.hxx.

References vcsn::detail::v.

template<typename Context >
virtual void vcsn::rat::const_visitor< Context >::visit ( const infiltration_t v)
virtual
template<typename Context >
virtual void vcsn::rat::const_visitor< Context >::visit ( const ldiv_t v)
virtual
template<typename Context >
void vcsn::rat::const_visitor< Context >::visit ( const lweight_t v)
virtual

Definition at line 55 of file visitor.hxx.

template<typename Context >
void vcsn::rat::const_visitor< Context >::visit ( const one_t v)
virtual

Definition at line 75 of file visitor.hxx.

template<typename Context >
virtual void vcsn::rat::const_visitor< Context >::visit ( const prod_t v)
virtual
template<typename Context >
virtual void vcsn::rat::const_visitor< Context >::visit ( const rweight_t v)
virtual
template<typename Context >
virtual void vcsn::rat::const_visitor< Context >::visit ( const shuffle_t v)
virtual
template<typename Context >
virtual void vcsn::rat::const_visitor< Context >::visit ( const star_t v)
virtual
template<typename Context >
virtual void vcsn::rat::const_visitor< Context >::visit ( const sum_t v)
virtual
template<typename Context >
virtual void vcsn::rat::const_visitor< Context >::visit ( const transposition_t v)
virtual
template<typename Context >
virtual void vcsn::rat::const_visitor< Context >::visit ( const zero_t v)
virtual

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