Awali
Another Weighted Automata library
Public Types | Public Member Functions
awali::sttc::transition_tuple< State, Label, Weight > Struct Template Reference

#include <transition.hh>

Inheritance diagram for awali::sttc::transition_tuple< State, Label, Weight >:
awali::sttc::internal::possibly_labeled_transition_tuple< State, Label >

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
 

Member Typedef Documentation

◆ weight_t

template<class State , class Label , class Weight >
using awali::sttc::transition_tuple< State, Label, Weight >::weight_t = Weight

Member Function Documentation

◆ get_weight()

template<class State , class Label , class Weight >
weight_t awali::sttc::transition_tuple< State, Label, Weight >::get_weight ( ) const

◆ set_weight()

template<class State , class Label , class Weight >
void awali::sttc::transition_tuple< State, Label, Weight >::set_weight ( weight_t k)

The documentation for this struct was generated from the following file: