![]()  | 
  
    Awali
    
   Another Weighted Automata library 
   | 
 
#include <transition.hh>
  
Public Types | |
| using | weight_t = Weight | 
  Public Types inherited from awali::sttc::internal::possibly_labeled_transition_tuple< State, Label > | |
| using | label_t = Label | 
Public Member Functions | |
| weight_t | get_weight () const | 
| void | set_weight (weight_t &k) | 
  Public Member Functions inherited from awali::sttc::internal::possibly_labeled_transition_tuple< State, Label > | |
| label_t | get_label () const | 
| void | set_label (label_t &l) | 
Additional Inherited Members | |
  Data Fields inherited from awali::sttc::internal::possibly_labeled_transition_tuple< State, Label > | |
| State | dst | 
| State | src | 
| using awali::sttc::transition_tuple< State, Label, Weight >::weight_t = Weight | 
| weight_t awali::sttc::transition_tuple< State, Label, Weight >::get_weight | ( | ) | const | 
| void awali::sttc::transition_tuple< State, Label, Weight >::set_weight | ( | weight_t & | k | ) |