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

Functor for universal. More...

#include <universal.hh>

Public Types
using	automaton_t = Aut
using	map_t = std::map< state_t, state_set_t >
using	pstate_t = std::set< state_set_t >
using	state_set_t = std::set< state_t >

Public Member Functions
automaton_t	operator() (const Aut &automaton)
	The universal automaton of automaton. More...

Detailed Description

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

Functor for universal.

Member Typedef Documentation

automaton_t

template<typename Aut >

using awali::sttc::internal::universaler< Aut >::automaton_t = Aut

map_t

template<typename Aut >

using awali::sttc::internal::universaler< Aut >::map_t = std::map<state_t, state_set_t>

pstate_t

template<typename Aut >

using awali::sttc::internal::universaler< Aut >::pstate_t = std::set<state_set_t>

state_set_t

template<typename Aut >

using awali::sttc::internal::universaler< Aut >::state_set_t = std::set<state_t>

Member Function Documentation

operator()()

template<typename Aut >

automaton_t awali::sttc::internal::universaler< Aut >::operator()

(

const Aut &

automaton

)

The universal automaton of automaton.

---

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

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