Vcsn
2.0
Be Rational
|
#include <lib/vcsn/algos/registry.hh>
#include <vcsn/algos/is-ambiguous.hh>
#include <vcsn/dyn/algos.hh>
Go to the source code of this file.
Namespaces | |
vcsn | |
vcsn::dyn | |
FIXME: duplicate code with determinize. | |
Functions | |
label | vcsn::dyn::ambiguous_word (const automaton &aut) |
An ambiguous word, or raise if there is none. More... | |
bool | vcsn::dyn::is_ambiguous (const automaton &aut) |
Whether aut is ambiguous. More... | |
bool | vcsn::dyn::is_cycle_ambiguous (const automaton &aut) |
Whether the automaton is cycle-ambiguous. More... | |