Vcsn
2.4
Be Rational
|
#include <unordered_map>
#include <boost/optional.hpp>
#include <vcsn/ctx/traits.hh>
#include <vcsn/misc/attributes.hh>
#include <vcsn/misc/builtins.hh>
#include <vcsn/dyn/automaton.hh>
#include <vcsn/core/fwd.hh>
Go to the source code of this file.
Classes | |
class | vcsn::detail::is_acyclic_impl< Aut > |
Detect circuits. More... | |
Namespaces | |
vcsn | |
vcsn::detail | |
vcsn::dyn | |
vcsn::dyn::detail | |
Functions | |
template<Automaton Aut> | |
ATTRIBUTE_CONST std::enable_if_t< context_t_of< Aut >::has_one(), bool > | vcsn::is_eps_acyclic (const Aut &aut) |
Detect epsilon-circuits. More... | |
template<Automaton Aut> | |
ATTRIBUTE_CONST std::enable_if_t<!context_t_of< Aut >::has_one(), bool > | vcsn::is_eps_acyclic (const Aut &) |
template<Automaton Aut> | |
ATTRIBUTE_CONST bool | vcsn::is_acyclic (const Aut &aut) |
template<Automaton Aut> | |
bool | vcsn::dyn::detail::is_eps_acyclic (const automaton &aut) |
Bridge. More... | |