Awali
Another Weighted Automata library
Public Types | Public Member Functions
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()

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: