awali::sttc::internal::merger< Aut, StateList > Class Template Reference

#include <merge.hh>

Public Types
using	automaton_t = Aut
using	class_t = unsigned
using	class_to_set_t = std::vector< StateList >
using	class_to_state_t = std::vector< state_t >
using	set_t = StateList
using	state_to_class_t = std::unordered_map< state_t, class_t >

Public Member Functions
	merger (class_to_set_t &class_to_set, bool keep_history)
automaton_t	build_result_ (const automaton_t &aut)
	Build the resulting automaton. More...
automaton_t	operator() (const automaton_t &aut)
	The minimized automaton. More...

Member Typedef Documentation

automaton_t

template<typename Aut , typename StateList >

using awali::sttc::internal::merger< Aut, StateList >::automaton_t = Aut

class_t

template<typename Aut , typename StateList >

using awali::sttc::internal::merger< Aut, StateList >::class_t = unsigned

class_to_set_t

template<typename Aut , typename StateList >

using awali::sttc::internal::merger< Aut, StateList >::class_to_set_t = std::vector<StateList>

class_to_state_t

template<typename Aut , typename StateList >

using awali::sttc::internal::merger< Aut, StateList >::class_to_state_t = std::vector<state_t>

set_t

template<typename Aut , typename StateList >

using awali::sttc::internal::merger< Aut, StateList >::set_t = StateList

state_to_class_t

template<typename Aut , typename StateList >

using awali::sttc::internal::merger< Aut, StateList >::state_to_class_t = std::unordered_map<state_t, class_t>

Constructor & Destructor Documentation

merger()

template<typename Aut , typename StateList >

awali::sttc::internal::merger< Aut, StateList >::merger	(	class_to_set_t &	class_to_set,
		bool	keep_history
	)

Member Function Documentation

build_result_()

template<typename Aut , typename StateList >

automaton_t awali::sttc::internal::merger< Aut, StateList >::build_result_

(

const automaton_t &

aut

)

Build the resulting automaton.

operator()()

template<typename Aut , typename StateList >

automaton_t awali::sttc::internal::merger< Aut, StateList >::operator()

(

const automaton_t &

aut

)

The minimized automaton.

---

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

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