![]() |
Vcsn
2.3a
Be Rational
|
#include <type_traits>
#include <vcsn/algos/copy.hh>
#include <vcsn/algos/is-acyclic.hh>
#include <vcsn/algos/is-proper.hh>
#include <vcsn/algos/strip.hh>
#include <vcsn/core/kind.hh>
#include <vcsn/misc/star-status.hh>
#include <vcsn/misc/direction.hh>
#include <vcsn/algos/epsilon-remover.hh>
Go to the source code of this file.
Classes | |
class | vcsn::detail::is_valid_impl< Aut, has_one > |
class | vcsn::detail::is_valid_impl< Aut, false > |
Namespaces | |
vcsn | |
vcsn::detail | |
vcsn::dyn | |
vcsn::dyn::detail | |
Functions | |
template<Automaton Aut> | |
fresh_automaton_t_of< Aut > | vcsn::detail::absval (const Aut &aut) |
Copy of aut, with absolute values. More... | |
template<Automaton Aut> | |
bool | vcsn::detail::is_properable (Aut &&aut) |
Whether proper_here(aut) succeeds. More... | |
template<Automaton Aut> | |
bool | vcsn::is_valid (const Aut &aut) |
template<Automaton Aut> | |
bool | vcsn::dyn::detail::is_valid (const automaton &aut) |
Bridge. More... | |