awali::sttc::internal::is_valider< Aut, has_one > Class Template Reference

#include <is_valid.hh>

Public Types
using	automaton_t = typename std::remove_cv< Aut >::type
using	weightset_t = weightset_t_of< automaton_t >

Static Public Member Functions
static bool	is_valid (const automaton_t &aut)

Member Typedef Documentation

automaton_t

template<typename Aut , bool has_one = context_t_of<Aut>::has_one()>

using awali::sttc::internal::is_valider< Aut, has_one >::automaton_t = typename std::remove_cv<Aut>::type

weightset_t

template<typename Aut , bool has_one = context_t_of<Aut>::has_one()>

using awali::sttc::internal::is_valider< Aut, has_one >::weightset_t = weightset_t_of<automaton_t>

Member Function Documentation

is_valid()

template<typename Aut , bool has_one = context_t_of<Aut>::has_one()>

static bool awali::sttc::internal::is_valider< Aut, has_one >::is_valid ( const automaton_t &  aut )

static

---

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

• /home/marsault/git-client/vcsn.telecom-paristech.fr/awali.git/awali/sttc/algos/is_valid.hh