Awali
Another Weighted Automata library
Static Public Member Functions
awali::sttc::internal::is_valider< Aut, false > Class Template Reference

#include <is_valid.hh>

Static Public Member Functions

static constexpr bool is_valid (const automaton_t &)
 

Member Function Documentation

◆ is_valid()

template<typename Aut >
static constexpr bool awali::sttc::internal::is_valider< Aut, false >::is_valid ( const automaton_t &  )
staticconstexpr

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