Vcsn  2.4
Be Rational
is-functional.hh File Reference
#include <vcsn/algos/compose.hh>
#include <vcsn/algos/is-partial-identity.hh>
#include <vcsn/dyn/automaton.hh>
#include <vcsn/dyn/fwd.hh>
Include dependency graph for is-functional.hh:

Go to the source code of this file.

Namespaces

 vcsn
 
 vcsn::dyn
 
 vcsn::dyn::detail
 

Functions

template<Automaton Aut>
bool vcsn::is_functional (const Aut &aut)
 Whether aut is functional. More...
 
template<Automaton Aut>
bool vcsn::dyn::detail::is_functional (const automaton &aut)
 Bridge. More...