![]() |
Awali
Another Weighted Automata library
|
#include <transition.hh>
Public Types | |
using | weight_t = Weight |
![]() | |
using | label_t = Label |
Public Member Functions | |
weight_t | get_weight () const |
void | set_weight (weight_t &k) |
![]() | |
label_t | get_label () const |
void | set_label (label_t &l) |
Additional Inherited Members | |
![]() | |
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 | ) |