![]() |
Vcsn
2.1
Be Rational
|
#include <queue>
#include <unordered_set>
#include <vcsn/algos/transpose.hh>
#include <vcsn/ctx/traits.hh>
#include <vcsn/dyn/automaton.hh>
Go to the source code of this file.
Namespaces | |
vcsn | |
vcsn::dyn | |
vcsn::dyn::detail | |
Functions | |
template<typename Aut > | |
bool | vcsn::is_deterministic (const Aut &aut, state_t_of< Aut > s) |
Whether state s is deterministic in aut. More... | |
template<typename Aut > | |
size_t | vcsn::num_deterministic_states (const Aut &aut) |
Number of non-deterministic states. More... | |
template<typename Aut > | |
size_t | vcsn::num_codeterministic_states (const Aut &aut) |
Number of non-deterministic states of transpositive automaton. More... | |
template<typename Aut > | |
bool | vcsn::is_deterministic (const Aut &aut) |
Whether has at most an initial state, and all its states are deterministic. More... | |
template<typename Aut > | |
bool | vcsn::is_codeterministic (const Aut &aut) |
Whether the transpositive automaton is deterministic. More... | |
template<typename Aut > | |
bool | vcsn::dyn::detail::is_deterministic (const automaton &aut) |
Bridge. More... | |
template<typename Aut > | |
bool | vcsn::dyn::detail::is_codeterministic (const automaton &aut) |
Bridge. More... | |