Awali
Another Weighted Automata library
|
#include <transpose.hh>
Public Types | |
using | automaton_t = Aut |
using | label_t = label_t_of< automaton_t > |
using | weight_t = weight_t_of< automaton_t > |
Public Member Functions | |
trans_tuple (const Aut &aut, transition_t &t) | |
Data Fields | |
state_t | dst |
label_t | label |
state_t | src |
weight_t | weight |
using awali::sttc::internal::trans_tuple< Aut >::automaton_t = Aut |
using awali::sttc::internal::trans_tuple< Aut >::label_t = label_t_of<automaton_t> |
using awali::sttc::internal::trans_tuple< Aut >::weight_t = weight_t_of<automaton_t> |
awali::sttc::internal::trans_tuple< Aut >::trans_tuple | ( | const Aut & | aut, |
transition_t & | t | ||
) |
state_t awali::sttc::internal::trans_tuple< Aut >::dst |
label_t awali::sttc::internal::trans_tuple< Aut >::label |
state_t awali::sttc::internal::trans_tuple< Aut >::src |
weight_t awali::sttc::internal::trans_tuple< Aut >::weight |