Vcsn  2.0
Be Rational
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
is-deterministic.cc File Reference
Include dependency graph for is-deterministic.cc:

Go to the source code of this file.

Namespaces

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

Functions

bool vcsn::dyn::is_deterministic (const automaton &aut)
 Whether aut is deterministic. More...
 
bool vcsn::dyn::is_codeterministic (const automaton &aut)
 Whether aut is codeterministic. More...