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