Awali
Another Weighted Automata library
Public Types | Static Public Member Functions
awali::sttc::internal::extended_label< Aut, Weightset > Struct Template Reference

#include <congruence_det.hh>

Public Types

using label_t = label_t_of< Aut >
 
using type = std::pair< label_t, typename Weightset::value_t >
 

Static Public Member Functions

template<typename Tr >
static type getLabel (const Aut &aut, Tr tr)
 

Member Typedef Documentation

◆ label_t

template<typename Aut , typename Weightset >
using awali::sttc::internal::extended_label< Aut, Weightset >::label_t = label_t_of<Aut>

◆ type

template<typename Aut , typename Weightset >
using awali::sttc::internal::extended_label< Aut, Weightset >::type = std::pair<label_t,typename Weightset::value_t>

Member Function Documentation

◆ getLabel()

template<typename Aut , typename Weightset >
template<typename Tr >
static type awali::sttc::internal::extended_label< Aut, Weightset >::getLabel ( const Aut &  aut,
Tr  tr 
)
static

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