Awali
Another Weighted Automata library
awali::sttc::internal::label_t_of_impl< std::shared_ptr< ValueSet > > Struct Template Reference

#include <traits.hh>

Inheritance diagram for awali::sttc::internal::label_t_of_impl< std::shared_ptr< ValueSet > >:
awali::sttc::internal::label_t_of_impl< base_t< ValueSet > >

Additional Inherited Members

- Public Types inherited from awali::sttc::internal::label_t_of_impl< base_t< ValueSet > >
using type = typename ValueSet::label_t
 

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