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