![]()  | 
  
    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 |