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

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:

• /home/marsault/git-client/telecom/awali.git/awali/sttc/core/transition.hh