![]() |
Vcsn
2.1
Be Rational
|
#include <vcsn/algos/accessible.hh>
#include <vcsn/algos/distance.hh>
#include <vcsn/algos/conjunction.hh>
#include <vcsn/algos/scc.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_ambiguous (const Aut &aut, std::tuple< state_t_of< Aut >, state_t_of< Aut >> &witness) |
Whether an automaton is ambiguous. More... | |
template<typename Aut > | |
bool | vcsn::is_ambiguous (const Aut &aut) |
template<typename Aut > | |
bool | vcsn::dyn::detail::is_ambiguous (const automaton &aut) |
Bridge. More... | |
template<typename Aut > | |
word_t_of< Aut > | vcsn::ambiguous_word (const Aut &aut) |
template<typename Aut > | |
label | vcsn::dyn::detail::ambiguous_word (const automaton &aut) |
Bridge. More... | |
template<typename Aut > | |
bool | vcsn::is_cycle_ambiguous (const Aut &aut) |
Whether aut is cycle-ambiguous. More... | |
template<typename Aut > | |
bool | vcsn::is_cycle_ambiguous_scc (const Aut &aut) |
Whether aut is cycle-ambiguous. More... | |
template<typename Aut > | |
bool | vcsn::dyn::detail::is_cycle_ambiguous (const automaton &aut) |
Bridge. More... | |