vcsn::detail::is_acyclic_impl< Aut > Class Template Reference

Detect circuits. More...

#include <is-acyclic.hh>

Collaboration diagram for vcsn::detail::is_acyclic_impl< Aut >:

Public Types
using	automaton_t = std::remove_cv_t< Aut >
using	state_t = state_t_of< automaton_t >
using	label_t = label_t_of< automaton_t >

Public Member Functions
	is_acyclic_impl (const automaton_t &aut, boost::optional< label_t > label={})
bool	operator() ()
	Whether the automaton is acyclic. More...

Private Types
enum	status { unknown, ok, circuit }

Private Member Functions
bool	has_circuit_ (state_t s)
	Return true if an circuit is accessible from s. More...

Private Attributes
std::unordered_map< state_t, status >	tag_
automaton_t	aut_
boost::optional< label_t >	one_

Detailed Description

template<Automaton Aut>
class vcsn::detail::is_acyclic_impl< Aut >

Detect circuits.

Definition at line 20 of file is-acyclic.hh.

Member Typedef Documentation

template<Automaton Aut>

using vcsn::detail::is_acyclic_impl< Aut >::automaton_t = std::remove_cv_t<Aut>

Definition at line 23 of file is-acyclic.hh.

template<Automaton Aut>

using vcsn::detail::is_acyclic_impl< Aut >::label_t = label_t_of<automaton_t>

Definition at line 25 of file is-acyclic.hh.

template<Automaton Aut>

using vcsn::detail::is_acyclic_impl< Aut >::state_t = state_t_of<automaton_t>

Definition at line 24 of file is-acyclic.hh.

Member Enumeration Documentation

template<Automaton Aut>

enum vcsn::detail::is_acyclic_impl::status

private

Enumerator
unknown	The graph reachable from s is under exploration.
ok	There is no circuit accessible from s.
circuit	There is an circuit accessible from s.

Definition at line 92 of file is-acyclic.hh.

Constructor & Destructor Documentation

template<Automaton Aut>

vcsn::detail::is_acyclic_impl< Aut >::is_acyclic_impl ( const automaton_t &  aut, boost::optional< label_t >  label = {}  )

inline

Definition at line 27 of file is-acyclic.hh.

Member Function Documentation

template<Automaton Aut>

bool vcsn::detail::is_acyclic_impl< Aut >::has_circuit_ ( state_t  s )

inlineprivate

Return true if an circuit is accessible from s.

Definition at line 44 of file is-acyclic.hh.

References vcsn::detail::is_acyclic_impl< Aut >::aut_, BUILTIN_UNREACHABLE, vcsn::detail::is_acyclic_impl< Aut >::circuit, vcsn::detail::is_acyclic_impl< Aut >::ok, vcsn::detail::is_acyclic_impl< Aut >::one_, vcsn::detail::out(), vcsn::detail::is_acyclic_impl< Aut >::tag_, and vcsn::detail::is_acyclic_impl< Aut >::unknown.

Referenced by vcsn::detail::is_acyclic_impl< Aut >::operator()().

Here is the call graph for this function:

template<Automaton Aut>

bool vcsn::detail::is_acyclic_impl< Aut >::operator() ( )

inline

Whether the automaton is acyclic.

Definition at line 34 of file is-acyclic.hh.

References vcsn::detail::is_acyclic_impl< Aut >::aut_, and vcsn::detail::is_acyclic_impl< Aut >::has_circuit_().

Here is the call graph for this function:

Member Data Documentation

template<Automaton Aut>

automaton_t vcsn::detail::is_acyclic_impl< Aut >::aut_

private

Definition at line 105 of file is-acyclic.hh.

Referenced by vcsn::detail::is_acyclic_impl< Aut >::has_circuit_(), and vcsn::detail::is_acyclic_impl< Aut >::operator()().

template<Automaton Aut>

boost::optional<label_t> vcsn::detail::is_acyclic_impl< Aut >::one_

private

Definition at line 106 of file is-acyclic.hh.

Referenced by vcsn::detail::is_acyclic_impl< Aut >::has_circuit_().

template<Automaton Aut>

std::unordered_map<state_t, status> vcsn::detail::is_acyclic_impl< Aut >::tag_

private

Definition at line 103 of file is-acyclic.hh.

Referenced by vcsn::detail::is_acyclic_impl< Aut >::has_circuit_().

---

The documentation for this class was generated from the following file:

• vcsn/algos/is-acyclic.hh