Awali
Another Weighted Automata library
Static Public Member Functions
awali::sttc::internal::if_has_one< true > Struct Reference

#include <add_epsilon_trans.hh>

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

◆ del_epsilon_trans()

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

◆ get_epsilon()

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

◆ is_epsilon()

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

◆ new_epsilon_trans()

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

◆ set_epsilon_trans()

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: