Vcsn  2.0
Be Rational
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
is-complete.hh File Reference
#include <queue>
#include <set>
#include <vcsn/dyn/automaton.hh>
#include <vcsn/dyn/fwd.hh>
Include dependency graph for is-complete.hh:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces

 vcsn
 
 vcsn::dyn
 FIXME: duplicate code with determinize.
 
 vcsn::dyn::detail
 

Functions

template<typename Aut >
bool vcsn::is_complete (const Aut &aut)
 Whether aut is complete. More...
 
template<class Aut >
bool vcsn::dyn::detail::is_complete (const automaton &aut)
 Bridge. More...
 
 vcsn::dyn::detail::REGISTER_DECLARE (is_complete,(const automaton &) -> bool)