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:

• /home/marsault/git-client/telecom/awali.git/awali/sttc/algos/quotient/congruence_det.hh