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

#include <add_epsilon_trans.hh>

Static Public Member Functions

template<typename Aut >
static auto add_epsilon_trans (Aut, state_t, state_t, ::awali::sttc::weight_t_of< Aut >) -> ::awali::sttc::weight_t_of< Aut >
 
template<typename Aut >
static void del_epsilon_trans (Aut, state_t, state_t)
 
template<typename Labelset >
static Labelset::value_t get_epsilon ()
 
template<typename Labelset >
static bool is_epsilon (const typename Labelset::value_t &)
 
template<typename Aut >
static auto new_epsilon_trans (Aut, state_t, state_t, ::awali::sttc::weight_t_of< Aut >) -> transition_t
 
template<typename Aut >
static auto set_epsilon_trans (Aut, state_t, state_t, ::awali::sttc::weight_t_of< Aut >) -> transition_t
 

Member Function Documentation

◆ add_epsilon_trans()

template<bool HAS_ONE>
template<typename Aut >
static auto awali::sttc::internal::if_has_one< HAS_ONE >::add_epsilon_trans ( Aut  ,
state_t  ,
state_t  ,
::awali::sttc::weight_t_of< Aut >   
) -> ::awali::sttc::weight_t_of<Aut>
static

◆ del_epsilon_trans()

template<bool HAS_ONE>
template<typename Aut >
static void awali::sttc::internal::if_has_one< HAS_ONE >::del_epsilon_trans ( Aut  ,
state_t  ,
state_t   
)
static

◆ get_epsilon()

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

◆ is_epsilon()

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

◆ new_epsilon_trans()

template<bool HAS_ONE>
template<typename Aut >
static auto awali::sttc::internal::if_has_one< HAS_ONE >::new_epsilon_trans ( Aut  ,
state_t  ,
state_t  ,
::awali::sttc::weight_t_of< Aut >   
) -> transition_t
static

◆ set_epsilon_trans()

template<bool HAS_ONE>
template<typename Aut >
static auto awali::sttc::internal::if_has_one< HAS_ONE >::set_epsilon_trans ( Aut  ,
state_t  ,
state_t  ,
::awali::sttc::weight_t_of< Aut >   
) -> transition_t
static

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