15 template <
typename Aut>
20 for (
auto t: aut->transitions())
21 if (aut->labelset()->is_one(aut->label_of(t)))
26 template <
typename Aut>
42 template <
typename Aut>
43 bool is_proper(
const Aut& aut) ATTRIBUTE_CONST;
45 template <
typename Aut>
58 template <
typename Aut>
62 const auto& a = aut->as<Aut>();
vcsn::enable_if_t< labelset_t_of< Aut >::has_one(), bool > is_proper_(const Aut &aut)
typename std::enable_if< Cond, T >::type enable_if_t
std::shared_ptr< detail::automaton_base > automaton
bool is_proper(const Aut &aut)
Test whether an automaton is proper.
bool is_proper(const automaton &aut)
Bridge.