Vcsn  2.4
Be Rational
is-ambiguous.hh File Reference
#include <vcsn/algos/accessible.hh>
#include <vcsn/algos/shortest.hh>
#include <vcsn/algos/conjunction.hh>
#include <vcsn/algos/scc.hh>
#include <vcsn/dyn/fwd.hh>
#include <vcsn/dyn/value.hh>
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.

Classes

struct  vcsn::detail::is_ambiguous_impl< Aut >
 Whether an automaton is ambiguous. More...
 

Namespaces

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

Functions

template<Automaton Aut>
bool vcsn::is_ambiguous (const Aut &aut)
 Whether an automaton is ambiguous. More...
 
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...