awali::sttc::rat::standard_visitor< Aut, Context > Class Template Reference

Convert a ratexp to a standard automaton. More...

#include <standard.hh>

Inheritance diagram for awali::sttc::rat::standard_visitor< Aut, Context >:

Public Types
using	automaton_t = Aut
using	context_t = Context
using	states_t = std::set< state_t >
	The current set of final states. More...
using	super_type = typename Context::const_visitor
using	weight_t = weight_t_of< context_t >
using	weightset_t = weightset_t_of< context_t >

Public Member Functions
	standard_visitor (const context_t &ctx)
	AWALI_RAT_VISIT (atom, e)
	AWALI_RAT_VISIT (lweight, e)
	AWALI_RAT_VISIT (one,)
	AWALI_RAT_VISIT (prod, e)
	AWALI_RAT_VISIT (rweight, e)
	AWALI_RAT_VISIT (star, e)
	AWALI_RAT_VISIT (sum, e)
	AWALI_RAT_VISIT (zero,)
states_t	finals ()
automaton_t	operator() (const typename context_t::ratexp_t &v)

Static Public Member Functions
constexpr static const char *	me ()

Detailed Description

template<typename Aut, typename Context = context_t_of<Aut>>
class awali::sttc::rat::standard_visitor< Aut, Context >

Convert a ratexp to a standard automaton.

Template Parameters

Aut	relative the generated automaton
Context	relative to the RatExp.

Member Typedef Documentation

automaton_t

template<typename Aut , typename Context = context_t_of<Aut>>

using awali::sttc::rat::standard_visitor< Aut, Context >::automaton_t = Aut

context_t

template<typename Aut , typename Context = context_t_of<Aut>>

using awali::sttc::rat::standard_visitor< Aut, Context >::context_t = Context

states_t

template<typename Aut , typename Context = context_t_of<Aut>>

using awali::sttc::rat::standard_visitor< Aut, Context >::states_t = std::set<state_t>

The current set of final states.

super_type

template<typename Aut , typename Context = context_t_of<Aut>>

using awali::sttc::rat::standard_visitor< Aut, Context >::super_type = typename Context::const_visitor

weight_t

template<typename Aut , typename Context = context_t_of<Aut>>

using awali::sttc::rat::standard_visitor< Aut, Context >::weight_t = weight_t_of<context_t>

weightset_t

template<typename Aut , typename Context = context_t_of<Aut>>

using awali::sttc::rat::standard_visitor< Aut, Context >::weightset_t = weightset_t_of<context_t>

Constructor & Destructor Documentation

standard_visitor()

template<typename Aut , typename Context = context_t_of<Aut>>

awali::sttc::rat::standard_visitor< Aut, Context >::standard_visitor

(

const context_t &

ctx

)

Member Function Documentation

AWALI_RAT_VISIT() [1/8]

template<typename Aut , typename Context = context_t_of<Aut>>

awali::sttc::rat::standard_visitor< Aut, Context >::AWALI_RAT_VISIT	(	atom	,
		e
	)

AWALI_RAT_VISIT() [2/8]

template<typename Aut , typename Context = context_t_of<Aut>>

awali::sttc::rat::standard_visitor< Aut, Context >::AWALI_RAT_VISIT	(	lweight	,
		e
	)

AWALI_RAT_VISIT() [3/8]

template<typename Aut , typename Context = context_t_of<Aut>>

awali::sttc::rat::standard_visitor< Aut, Context >::AWALI_RAT_VISIT

(

one

)

AWALI_RAT_VISIT() [4/8]

template<typename Aut , typename Context = context_t_of<Aut>>

awali::sttc::rat::standard_visitor< Aut, Context >::AWALI_RAT_VISIT	(	prod	,
		e
	)

AWALI_RAT_VISIT() [5/8]

template<typename Aut , typename Context = context_t_of<Aut>>

awali::sttc::rat::standard_visitor< Aut, Context >::AWALI_RAT_VISIT	(	rweight	,
		e
	)

AWALI_RAT_VISIT() [6/8]

template<typename Aut , typename Context = context_t_of<Aut>>

awali::sttc::rat::standard_visitor< Aut, Context >::AWALI_RAT_VISIT	(	star	,
		e
	)

AWALI_RAT_VISIT() [7/8]

template<typename Aut , typename Context = context_t_of<Aut>>

awali::sttc::rat::standard_visitor< Aut, Context >::AWALI_RAT_VISIT	(	sum	,
		e
	)

AWALI_RAT_VISIT() [8/8]

template<typename Aut , typename Context = context_t_of<Aut>>

awali::sttc::rat::standard_visitor< Aut, Context >::AWALI_RAT_VISIT

(

zero

)

finals()

template<typename Aut , typename Context = context_t_of<Aut>>

states_t awali::sttc::rat::standard_visitor< Aut, Context >::finals

(

)

me()

template<typename Aut , typename Context = context_t_of<Aut>>

constexpr static const char* awali::sttc::rat::standard_visitor< Aut, Context >::me ( )

staticconstexpr

operator()()

template<typename Aut , typename Context = context_t_of<Aut>>

automaton_t awali::sttc::rat::standard_visitor< Aut, Context >::operator()

(

const typename context_t::ratexp_t &

v

)

---

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

• /home/marsault/git-client/telecom/awali.git/awali/sttc/algos/standard.hh