![]() |
Vcsn
2.1
Be Rational
|
#include <vcsn/algos/compose.hh>#include <vcsn/algos/is-partial-identity.hh>#include <vcsn/dyn/automaton.hh>#include <vcsn/dyn/fwd.hh>Go to the source code of this file.
Namespaces | |
| vcsn | |
| vcsn::dyn | |
| vcsn::dyn::detail | |
Functions | |
| template<typename Aut > | |
| bool | vcsn::is_functional (const Aut &aut) |
| Whether aut is functional. More... | |
| template<typename Aut > | |
| bool | vcsn::dyn::detail::is_functional (const automaton &aut) |
| Bridge. More... | |