Vcsn  2.2a
Be Rational
is-ambiguous.hh File Reference
Include dependency graph for is-ambiguous.hh:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces

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

Functions

template<Automaton 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<Automaton Aut>
bool vcsn::is_ambiguous (const Aut &aut)
 
template<Automaton Aut>
bool vcsn::dyn::detail::is_ambiguous (const automaton &aut)
 Bridge. More...
 
template<Automaton Aut>
word_t_of< Aut > vcsn::ambiguous_word (const Aut &aut)
 
template<Automaton Aut>
label vcsn::dyn::detail::ambiguous_word (const automaton &aut)
 Bridge. More...
 
template<Automaton Aut>
bool vcsn::is_cycle_ambiguous (const Aut &aut)
 Whether aut is cycle-ambiguous. More...
 
template<Automaton Aut>
bool vcsn::is_cycle_ambiguous_scc (const Aut &aut)
 Whether aut is cycle-ambiguous. More...
 
template<Automaton Aut>
bool vcsn::dyn::detail::is_cycle_ambiguous (const automaton &aut)
 Bridge. More...