awali::sttc::internal::cycle_identity_impl< Aut > Class Template Reference

Whether the weight of beetween two states on component, it is always unique. More...

#include <has_twins_property.hh>

Public Types
using	component_t = std::unordered_set< state_t >
using	weight_t = weight_t_of< Aut >

Public Member Functions
	cycle_identity_impl ()
bool	check (const component_t &component, const Aut &aut)

Detailed Description

template<typename Aut>
class awali::sttc::internal::cycle_identity_impl< Aut >

Whether the weight of beetween two states on component, it is always unique.

Member Typedef Documentation

component_t

template<typename Aut >

using awali::sttc::internal::cycle_identity_impl< Aut >::component_t = std::unordered_set<state_t>

weight_t

template<typename Aut >

using awali::sttc::internal::cycle_identity_impl< Aut >::weight_t = weight_t_of<Aut>

Constructor & Destructor Documentation

cycle_identity_impl()

template<typename Aut >

awali::sttc::internal::cycle_identity_impl< Aut >::cycle_identity_impl

(

)

Member Function Documentation

check()

template<typename Aut >

bool awali::sttc::internal::cycle_identity_impl< Aut >::check	(	const component_t &	component,
		const Aut &	aut
	)

---

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

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