Vcsn  2.3a
Be Rational
is-acyclic.hh File Reference
#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>
Include dependency graph for is-acyclic.hh:
This graph shows which files directly or indirectly include this file:

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...