![]() |
Vcsn
2.3a
Be Rational
|
Whether an automaton is ambiguous. More...
#include <is-ambiguous.hh>
Public Types | |
using | automaton_t = Aut |
using | conjunction_t = decltype(conjunction(std::declval< automaton_t >(), std::declval< automaton_t >())) |
using | word_t = word_t_of< automaton_t > |
Public Member Functions | |
is_ambiguous_impl (const automaton_t &aut) | |
Constructor. More... | |
bool | operator() () |
Whether an automaton is ambiguous. More... | |
word_t | ambiguous_word () |
Public Attributes | |
conjunction_t | conj_ |
The self-conjunction of the input automaton. More... | |
state_t_of< conjunction_t > | witness_ = conj_->null_state() |
State index in the conjunction of a state that is not on the diagonal. More... | |
Whether an automaton is ambiguous.
Definition at line 21 of file is-ambiguous.hh.
using vcsn::detail::is_ambiguous_impl< Aut >::automaton_t = Aut |
Definition at line 23 of file is-ambiguous.hh.
using vcsn::detail::is_ambiguous_impl< Aut >::conjunction_t = decltype(conjunction(std::declval<automaton_t>(), std::declval<automaton_t>())) |
Definition at line 26 of file is-ambiguous.hh.
using vcsn::detail::is_ambiguous_impl< Aut >::word_t = word_t_of<automaton_t> |
Definition at line 27 of file is-ambiguous.hh.
|
inline |
Constructor.
[in] | aut | the automaton to study. |
Definition at line 31 of file is-ambiguous.hh.
References vcsn::detail::conjunction().
|
inline |
Definition at line 55 of file is-ambiguous.hh.
References vcsn::detail::is_ambiguous_impl< Aut >::conj_, vcsn::detail::make_wordset(), vcsn::require(), vcsn::shortest(), and vcsn::detail::is_ambiguous_impl< Aut >::witness_.
|
inline |
Whether an automaton is ambiguous.
Definition at line 39 of file is-ambiguous.hh.
References vcsn::coaccessible(), vcsn::coaccessible_states(), vcsn::detail::is_ambiguous_impl< Aut >::conj_, vcsn::has(), and vcsn::detail::is_ambiguous_impl< Aut >::witness_.
conjunction_t vcsn::detail::is_ambiguous_impl< Aut >::conj_ |
The self-conjunction of the input automaton.
Definition at line 73 of file is-ambiguous.hh.
Referenced by vcsn::detail::is_ambiguous_impl< Aut >::ambiguous_word(), and vcsn::detail::is_ambiguous_impl< Aut >::operator()().
state_t_of<conjunction_t> vcsn::detail::is_ambiguous_impl< Aut >::witness_ = conj_->null_state() |
State index in the conjunction of a state that is not on the diagonal.
Definition at line 76 of file is-ambiguous.hh.
Referenced by vcsn::detail::is_ambiguous_impl< Aut >::ambiguous_word(), and vcsn::detail::is_ambiguous_impl< Aut >::operator()().