17 #ifndef AWALI_ALGOS_IS_PROPER_HH
18 # define AWALI_ALGOS_IS_PROPER_HH
20 # include <type_traits>
26 namespace awali {
namespace sttc {
31 template <
typename Aut>
32 typename std::enable_if<labelset_t_of<Aut>::has_one(),
36 for (
auto t: aut->transitions())
37 if (aut->labelset()->is_one(aut->label_of(t)))
42 template <
typename Aut>
44 typename std::enable_if<!labelset_t_of<Aut>::has_one(),
59 template <
typename Aut>
60 bool is_proper(
const Aut& aut) ATTRIBUTE_CONST;
62 template <
typename Aut>
std::enable_if< labelset_t_of< Aut >::has_one(), bool >::type is_proper_(const Aut &aut)
Definition: is_proper.hh:34
bool is_proper(const Aut &aut) ATTRIBUTE_CONST
Test whether an automaton is proper.
Definition: is_proper.hh:64
Main namespace of Awali.
Definition: ato.hh:22