![]() |
Vcsn
2.1
Be Rational
|
#include <fwd.hh>
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 | unary_t = rat::unary< Type, context_t > |
template<type_t Type> | |
using | variadic_t = rat::variadic< Type, context_t > |
template<type_t Type> | |
using | weight_node_t = rat::weight_node< Type, context_t > |
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) |
using vcsn::rat::const_visitor< Context >::atom_t = atom <context_t> |
Definition at line 44 of file visitor.hh.
using vcsn::rat::const_visitor< Context >::complement_t = complement <context_t> |
Definition at line 45 of file visitor.hh.
using vcsn::rat::const_visitor< Context >::conjunction_t = conjunction <context_t> |
Definition at line 46 of file visitor.hh.
using vcsn::rat::const_visitor< Context >::context_t = Context |
Definition at line 16 of file visitor.hh.
using vcsn::rat::const_visitor< Context >::infiltration_t = infiltration <context_t> |
Definition at line 47 of file visitor.hh.
using vcsn::rat::const_visitor< Context >::inner_t = inner<context_t> |
Definition at line 18 of file visitor.hh.
using vcsn::rat::const_visitor< Context >::ldiv_t = ldiv <context_t> |
Definition at line 48 of file visitor.hh.
using vcsn::rat::const_visitor< Context >::leaf_t = leaf<context_t> |
Definition at line 19 of file visitor.hh.
using vcsn::rat::const_visitor< Context >::lweight_t = lweight <context_t> |
Definition at line 49 of file visitor.hh.
using vcsn::rat::const_visitor< Context >::node_t = node<context_t> |
Definition at line 17 of file visitor.hh.
using vcsn::rat::const_visitor< Context >::one_t = one <context_t> |
Definition at line 50 of file visitor.hh.
using vcsn::rat::const_visitor< Context >::prod_t = prod <context_t> |
Definition at line 51 of file visitor.hh.
using vcsn::rat::const_visitor< Context >::rweight_t = rweight <context_t> |
Definition at line 52 of file visitor.hh.
using vcsn::rat::const_visitor< Context >::shuffle_t = shuffle <context_t> |
Definition at line 53 of file visitor.hh.
using vcsn::rat::const_visitor< Context >::star_t = star <context_t> |
Definition at line 54 of file visitor.hh.
using vcsn::rat::const_visitor< Context >::sum_t = sum <context_t> |
Definition at line 55 of file visitor.hh.
using vcsn::rat::const_visitor< Context >::transposition_t = transposition <context_t> |
Definition at line 56 of file visitor.hh.
using vcsn::rat::const_visitor< Context >::tuple_t = tuple<context_t> |
Definition at line 32 of file visitor.hh.
using vcsn::rat::const_visitor< Context >::unary_t = rat::unary<Type, context_t> |
Definition at line 21 of file visitor.hh.
using vcsn::rat::const_visitor< Context >::variadic_t = rat::variadic<Type, context_t> |
Definition at line 23 of file visitor.hh.
using vcsn::rat::const_visitor< Context >::weight_node_t = rat::weight_node<Type, context_t> |
Definition at line 25 of file visitor.hh.
using vcsn::rat::const_visitor< Context >::zero_t = zero <context_t> |
Definition at line 57 of file visitor.hh.
|
inline |
Definition at line 27 of file visitor.hh.
Referenced by vcsn::rat::tuple< Context, Enable >::accept().
|
pure virtual |
|
inline |
Definition at line 35 of file visitor.hh.
References BUILTIN_UNREACHABLE.
|
virtual |
Definition at line 81 of file visitor.hxx.
|
virtual |
Definition at line 50 of file visitor.hxx.
|
virtual |
Definition at line 14 of file visitor.hxx.
References vcsn::v.
|
virtual |
|
virtual |
|
virtual |
Definition at line 55 of file visitor.hxx.
|
virtual |
Definition at line 75 of file visitor.hxx.
|
virtual |
|
virtual |
|
virtual |
|
virtual |
|
virtual |
|
virtual |
|
virtual |