![]() |
Vcsn
2.3a
Be Rational
|
#include <type_traits>
#include <vcsn/core/automaton.hh>
#include <vcsn/core/kind.hh>
#include <vcsn/ctx/traits.hh>
#include <vcsn/dyn/automaton.hh>
#include <vcsn/misc/attributes.hh>
Go to the source code of this file.
Namespaces | |
vcsn | |
vcsn::detail | |
vcsn::dyn | |
vcsn::dyn::detail | |
Functions | |
template<Automaton Aut> | |
std::enable_if_t< labelset_t_of< Aut >::has_one(), bool > | vcsn::detail::is_proper_ (const Aut &aut) |
template<Automaton Aut> | |
constexpr std::enable_if_t<!labelset_t_of< Aut >::has_one(), bool > | vcsn::detail::is_proper_ (const Aut &) |
template<Automaton Aut> | |
bool | vcsn::is_proper (const Aut &aut) ATTRIBUTE_CONST |
Test whether an automaton is proper. More... | |
template<Automaton Aut> | |
bool | vcsn::dyn::detail::is_proper (const automaton &aut) |
Bridge. More... | |