Awali
Another Weighted Automata library
|
#include <congruence_det.hh>
Public Types | |
using | label_t = label_t_of< Aut > |
using | type = label_t |
Static Public Member Functions | |
template<typename Tr > | |
static type | getLabel (const Aut &aut, Tr tr) |
using awali::sttc::internal::extended_label< Aut, b >::label_t = label_t_of<Aut> |
using awali::sttc::internal::extended_label< Aut, b >::type = label_t |
|
static |