Static Public Member Functions
template<typename Aut >
static auto	add_epsilon_trans (Aut a, state_t src, state_t dst, ::awali::sttc::weight_t_of< Aut > w) -> ::awali::sttc::weight_t_of< Aut >

template<typename Aut >
static void	del_epsilon_trans (Aut a, state_t src, state_t dst)

template<typename Labelset >
static Labelset::value_t	get_epsilon ()

template<typename Labelset >
static bool	is_epsilon (const typename Labelset::value_t &l)

template<typename Aut >
static auto	new_epsilon_trans (Aut a, state_t src, state_t dst, ::awali::sttc::weight_t_of< Aut > w) -> transition_t

template<typename Aut >
static auto	set_epsilon_trans (Aut a, state_t src, state_t dst, ::awali::sttc::weight_t_of< Aut > w) -> transition_t

Member Function Documentation

◆ add_epsilon_trans()

template<typename Aut >

static auto awali::sttc::internal::if_has_one< true >::add_epsilon_trans	(	Aut	a,
		state_t	src,
		state_t	dst,
		::awali::sttc::weight_t_of< Aut >	w
	)		-> ::awali::sttc::weight_t_of<Aut>

static

template<typename Aut >

static void awali::sttc::internal::if_has_one< true >::del_epsilon_trans	(	Aut	a,
		state_t	src,
		state_t	dst
	)

static

template<typename Labelset >

static Labelset::value_t awali::sttc::internal::if_has_one< true >::get_epsilon ( )

static

template<typename Labelset >

static bool awali::sttc::internal::if_has_one< true >::is_epsilon ( const typename Labelset::value_t & l )

static

template<typename Aut >

static auto awali::sttc::internal::if_has_one< true >::new_epsilon_trans	(	Aut	a,
		state_t	src,
		state_t	dst,
		::awali::sttc::weight_t_of< Aut >	w
	)		-> transition_t

static

template<typename Aut >

static auto awali::sttc::internal::if_has_one< true >::set_epsilon_trans	(	Aut	a,
		state_t	src,
		state_t	dst,
		::awali::sttc::weight_t_of< Aut >	w
	)		-> transition_t

static

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

/home/marsault/git-client/telecom/awali.git/awali/sttc/misc/add_epsilon_trans.hh