vcsn::detail::epsilon_acyclic< Aut, true > Struct Template Reference

Detect epsilon-circuits. More...

#include <is-eps-acyclic.hh>

Collaboration diagram for vcsn::detail::epsilon_acyclic< Aut, true >:

Public Types
using	automaton_t = typename std::remove_cv< Aut >::type
using	state_t = state_t_of< automaton_t >
using	label_t = label_t_of< automaton_t >

Public Member Functions
bool	has_epsilon_circuit (state_t s)
	epsilon_acyclic (const automaton_t &aut)
bool	is_eps_acyclic ()

Public Attributes
std::unordered_map< state_t, char >	tag
const automaton_t &	aut_
label_t	empty_word

Detailed Description

template<typename Aut>
struct vcsn::detail::epsilon_acyclic< Aut, true >

Detect epsilon-circuits.

In this algorithm, only epsilon-transitions are considered.

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

Member Typedef Documentation

template<typename Aut >

using vcsn::detail::epsilon_acyclic< Aut, true >::automaton_t = typename std::remove_cv<Aut>::type

Definition at line 26 of file is-eps-acyclic.hh.

template<typename Aut >

using vcsn::detail::epsilon_acyclic< Aut, true >::label_t = label_t_of<automaton_t>

Definition at line 28 of file is-eps-acyclic.hh.

template<typename Aut >

using vcsn::detail::epsilon_acyclic< Aut, true >::state_t = state_t_of<automaton_t>

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

Constructor & Destructor Documentation

template<typename Aut >

vcsn::detail::epsilon_acyclic< Aut, true >::epsilon_acyclic ( const automaton_t &  aut )

inline

Definition at line 77 of file is-eps-acyclic.hh.

Member Function Documentation

template<typename Aut >

bool vcsn::detail::epsilon_acyclic< Aut, true >::has_epsilon_circuit ( state_t  s )

inline

Definition at line 45 of file is-eps-acyclic.hh.

template<typename Aut >

bool vcsn::detail::epsilon_acyclic< Aut, true >::is_eps_acyclic ( )

inline

Definition at line 83 of file is-eps-acyclic.hh.

Member Data Documentation

template<typename Aut >

const automaton_t& vcsn::detail::epsilon_acyclic< Aut, true >::aut_

Definition at line 40 of file is-eps-acyclic.hh.

template<typename Aut >

label_t vcsn::detail::epsilon_acyclic< Aut, true >::empty_word

Definition at line 41 of file is-eps-acyclic.hh.

template<typename Aut >

std::unordered_map<state_t, char> vcsn::detail::epsilon_acyclic< Aut, true >::tag

Definition at line 29 of file is-eps-acyclic.hh.

---

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

• vcsn/algos/is-eps-acyclic.hh