add_epsilon_trans.hh File Reference

Go to the source code of this file.

Data Structures
struct	awali::sttc::internal::if_has_one< HAS_ONE >
struct	awali::sttc::internal::if_has_one< true >

Namespaces
	awali
	Main namespace of Awali.
	awali::sttc
	Namespace for the static layer of Awali.
	awali::sttc::internal
	Implementation details of static layer (not stable).

Functions
template<typename Aut >
weight_t_of< Aut >	awali::sttc::add_epsilon_trans (Aut a, state_t src, state_t dst, weight_t_of< Aut > w)
	Helper to add an epsilon transition. More...
template<typename Aut >
weight_t_of< Aut >	awali::sttc::add_epsilon_trans (const Aut a, state_t src, state_t dst)
	Helper to add an epsilon transition. More...
template<typename Aut >
void	awali::sttc::del_epsilon_trans (Aut a, state_t src, state_t dst)
	Helper to delete an epsilon transition. More...
template<typename Labelset >
Labelset::value_t	awali::sttc::get_epsilon ()
	Helper to get the value of epsilon. More...
template<typename Labelset >
bool	awali::sttc::is_epsilon (const typename Labelset::value_t &l)
	Helper to test if a label is epsilon. More...
template<typename Aut >
transition_t	awali::sttc::new_epsilon_trans (Aut a, state_t src, state_t dst, weight_t_of< Aut > w)
	Helper to create a new epsilon transition. More...
template<typename Aut >
transition_t	awali::sttc::new_epsilon_trans (const Aut a, state_t src, state_t dst)
	Helper to create a new epsilon transition. More...
template<typename Aut >
transition_t	awali::sttc::set_epsilon_trans (Aut a, state_t src, state_t dst, weight_t_of< Aut > w)
	Helper to set an epsilon transition. More...
template<typename Aut >
transition_t	awali::sttc::set_epsilon_trans (const Aut a, state_t src, state_t dst)
	Helper to set an epsilon transition. More...