Awali
Another Weighted Automata library
Public Types | Public Member Functions | Data Fields
awali::sttc::internal::trans_tuple< Aut > Struct Template Reference

#include <transpose.hh>

Public Types

using automaton_t = Aut
 
using label_t = label_t_of< automaton_t >
 
using weight_t = weight_t_of< automaton_t >
 

Public Member Functions

 trans_tuple (const Aut &aut, transition_t &t)
 

Data Fields

state_t dst
 
label_t label
 
state_t src
 
weight_t weight
 

Member Typedef Documentation

◆ automaton_t

template<typename Aut >
using awali::sttc::internal::trans_tuple< Aut >::automaton_t = Aut

◆ label_t

template<typename Aut >
using awali::sttc::internal::trans_tuple< Aut >::label_t = label_t_of<automaton_t>

◆ weight_t

template<typename Aut >
using awali::sttc::internal::trans_tuple< Aut >::weight_t = weight_t_of<automaton_t>

Constructor & Destructor Documentation

◆ trans_tuple()

template<typename Aut >
awali::sttc::internal::trans_tuple< Aut >::trans_tuple ( const Aut &  aut,
transition_t t 
)

Field Documentation

◆ dst

template<typename Aut >
state_t awali::sttc::internal::trans_tuple< Aut >::dst

◆ label

template<typename Aut >
label_t awali::sttc::internal::trans_tuple< Aut >::label

◆ src

template<typename Aut >
state_t awali::sttc::internal::trans_tuple< Aut >::src

◆ weight

template<typename Aut >
weight_t awali::sttc::internal::trans_tuple< Aut >::weight

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