awali::sttc::rat::drawexp_visitor< RatExpSet > Class Template Reference

#include <draw_exp.hh>

Inheritance diagram for awali::sttc::rat::drawexp_visitor< RatExpSet >:

Public Types
using	aut_context_t = context< aut_labelset_t, b >
using	aut_labelset_t = ctx::law_char
using	automaton_t = sttc::mutable_automaton< aut_context_t >
using	context_t = typename RatExpSet::context_t
using	label_t = label_t_of< automaton_t >
using	labelset_t = labelset_t_of< context_t >
using	super_type = typename context_t::const_visitor
using	weight_t = weight_t_of< context_t >
using	weightset_t = weightset_t_of< context_t >

Public Member Functions
	drawexp_visitor (const RatExpSet &rs)
	AWALI_RAT_VISIT (atom, e)
	AWALI_RAT_VISIT (lweight, e)
	AWALI_RAT_VISIT (maybe, e)
	AWALI_RAT_VISIT (one,)
	AWALI_RAT_VISIT (plus, e)
	AWALI_RAT_VISIT (prod, e)
	AWALI_RAT_VISIT (rweight, e)
	AWALI_RAT_VISIT (star, e)
	AWALI_RAT_VISIT (sum, e)
	AWALI_RAT_VISIT (zero,)
automaton_t	operator() (const typename RatExpSet::ratexp_t &v)

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

Detailed Description

template<typename RatExpSet>
class awali::sttc::rat::drawexp_visitor< RatExpSet >

Template Parameters

Aut	relative the generated automaton
Context	relative to the RatExp.

Member Typedef Documentation

aut_context_t

template<typename RatExpSet >

using awali::sttc::rat::drawexp_visitor< RatExpSet >::aut_context_t = context<aut_labelset_t, b>

aut_labelset_t

template<typename RatExpSet >

using awali::sttc::rat::drawexp_visitor< RatExpSet >::aut_labelset_t = ctx::law_char

automaton_t

template<typename RatExpSet >

using awali::sttc::rat::drawexp_visitor< RatExpSet >::automaton_t = sttc::mutable_automaton<aut_context_t>

context_t

template<typename RatExpSet >

using awali::sttc::rat::drawexp_visitor< RatExpSet >::context_t = typename RatExpSet::context_t

label_t

template<typename RatExpSet >

using awali::sttc::rat::drawexp_visitor< RatExpSet >::label_t = label_t_of<automaton_t>

labelset_t

template<typename RatExpSet >

using awali::sttc::rat::drawexp_visitor< RatExpSet >::labelset_t = labelset_t_of<context_t>

super_type

template<typename RatExpSet >

using awali::sttc::rat::drawexp_visitor< RatExpSet >::super_type = typename context_t::const_visitor

weight_t

template<typename RatExpSet >

using awali::sttc::rat::drawexp_visitor< RatExpSet >::weight_t = weight_t_of<context_t>

weightset_t

template<typename RatExpSet >

using awali::sttc::rat::drawexp_visitor< RatExpSet >::weightset_t = weightset_t_of<context_t>

Constructor & Destructor Documentation

drawexp_visitor()

template<typename RatExpSet >

awali::sttc::rat::drawexp_visitor< RatExpSet >::drawexp_visitor

(

const RatExpSet &

rs

)

Member Function Documentation

AWALI_RAT_VISIT() [1/10]

template<typename RatExpSet >

awali::sttc::rat::drawexp_visitor< RatExpSet >::AWALI_RAT_VISIT	(	atom	,
		e
	)

AWALI_RAT_VISIT() [2/10]

template<typename RatExpSet >

awali::sttc::rat::drawexp_visitor< RatExpSet >::AWALI_RAT_VISIT	(	lweight	,
		e
	)

AWALI_RAT_VISIT() [3/10]

template<typename RatExpSet >

awali::sttc::rat::drawexp_visitor< RatExpSet >::AWALI_RAT_VISIT	(	maybe	,
		e
	)

AWALI_RAT_VISIT() [4/10]

template<typename RatExpSet >

awali::sttc::rat::drawexp_visitor< RatExpSet >::AWALI_RAT_VISIT

(

one

)

AWALI_RAT_VISIT() [5/10]

template<typename RatExpSet >

awali::sttc::rat::drawexp_visitor< RatExpSet >::AWALI_RAT_VISIT	(	plus	,
		e
	)

AWALI_RAT_VISIT() [6/10]

template<typename RatExpSet >

awali::sttc::rat::drawexp_visitor< RatExpSet >::AWALI_RAT_VISIT	(	prod	,
		e
	)

AWALI_RAT_VISIT() [7/10]

template<typename RatExpSet >

awali::sttc::rat::drawexp_visitor< RatExpSet >::AWALI_RAT_VISIT	(	rweight	,
		e
	)

AWALI_RAT_VISIT() [8/10]

template<typename RatExpSet >

awali::sttc::rat::drawexp_visitor< RatExpSet >::AWALI_RAT_VISIT	(	star	,
		e
	)

AWALI_RAT_VISIT() [9/10]

template<typename RatExpSet >

awali::sttc::rat::drawexp_visitor< RatExpSet >::AWALI_RAT_VISIT	(	sum	,
		e
	)

AWALI_RAT_VISIT() [10/10]

template<typename RatExpSet >

awali::sttc::rat::drawexp_visitor< RatExpSet >::AWALI_RAT_VISIT

(

zero

)

me()

template<typename RatExpSet >

constexpr static const char* awali::sttc::rat::drawexp_visitor< RatExpSet >::me ( )

staticconstexpr

operator()()

template<typename RatExpSet >

automaton_t awali::sttc::rat::drawexp_visitor< RatExpSet >::operator()

(

const typename RatExpSet::ratexp_t &

v

)

---

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

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