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

#include <transition.hh>

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

Public Types

using label_t = Label
 

Public Member Functions

label_t get_label () const
 
void set_label (label_t &l)
 

Data Fields

State dst
 
State src
 

Member Typedef Documentation

◆ label_t

template<class State , class Label >
using awali::sttc::internal::possibly_labeled_transition_tuple< State, Label >::label_t = Label

Member Function Documentation

◆ get_label()

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

◆ set_label()

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

Field Documentation

◆ dst

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

◆ src

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

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