Awali
Another Weighted Automata library
Public Types | Public Member Functions | Data Fields
awali::sttc::internal::possibly_labeled_transition_tuple< State, empty_t > Struct Template Reference

#include <transition.hh>

Public Types

using label_t = empty_t
 

Public Member Functions

label_t get_label () const
 
void set_label (label_t)
 

Data Fields

State dst
 
State src
 

Member Typedef Documentation

◆ label_t

Member Function Documentation

◆ get_label()

template<class State >
label_t awali::sttc::internal::possibly_labeled_transition_tuple< State, empty_t >::get_label ( ) const

◆ set_label()

template<class State >
void awali::sttc::internal::possibly_labeled_transition_tuple< State, empty_t >::set_label ( label_t  )

Field Documentation

◆ dst

template<class State >
State awali::sttc::internal::possibly_labeled_transition_tuple< State, empty_t >::dst

◆ src

template<class State >
State awali::sttc::internal::possibly_labeled_transition_tuple< State, empty_t >::src

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