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 | ) |