awali::sttc::test_acyclic< Aut > Struct Template Reference

#include <is_acyclic.hh>

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

Public Member Functions
	test_acyclic (const automaton_t &aut)
bool	has_circuit (state_t s)
bool	is_acyclic ()

Data Fields
const automaton_t &	aut_
std::unordered_map< state_t, char >	tag

Member Typedef Documentation

automaton_t

template<typename Aut >

using awali::sttc::test_acyclic< Aut >::automaton_t = typename std::remove_cv<Aut>::type

label_t

template<typename Aut >

using awali::sttc::test_acyclic< Aut >::label_t = label_t_of<automaton_t>

Constructor & Destructor Documentation

test_acyclic()

template<typename Aut >

awali::sttc::test_acyclic< Aut >::test_acyclic

(

const automaton_t &

aut

)

Member Function Documentation

has_circuit()

template<typename Aut >

bool awali::sttc::test_acyclic< Aut >::has_circuit

(

state_t

s

)

is_acyclic()

template<typename Aut >

bool awali::sttc::test_acyclic< Aut >::is_acyclic

(

)

Field Documentation

aut_

template<typename Aut >

const automaton_t& awali::sttc::test_acyclic< Aut >::aut_

tag

template<typename Aut >

std::unordered_map<state_t, char> awali::sttc::test_acyclic< Aut >::tag

---

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

• /home/marsault/git-client/telecom/awali.git/awali/sttc/algos/is_acyclic.hh