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

The subset construction automaton from another. More...

#include <determinize.hxx>

Public Types
using	automaton_nocv_t = mutable_automaton< context_t_of< Aut > >
using	automaton_t = Aut
using	context_t = context_t_of< automaton_t >
using	label_t = label_t_of< automaton_t >
using	state_set = std::set< state_t >
	Set of (input) states. More...

Public Member Functions
	determinization_set_impl (const automaton_t &a)
	Build the determinizer. More...
automaton_nocv_t	operator() ()
	Determinize all accessible states. More...
void	set_history ()
state_t	state (const state_set &ss)
	The state for set of states ss. More...

Detailed Description

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

The subset construction automaton from another.

Template Parameters

Aut	an automaton type.

Precondition

labelset is free.

weightset is Boolean.

Member Typedef Documentation

automaton_nocv_t

template<typename Aut >

using awali::sttc::internal::determinization_set_impl< Aut >::automaton_nocv_t = mutable_automaton<context_t_of<Aut> >

automaton_t

template<typename Aut >

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

context_t

template<typename Aut >

using awali::sttc::internal::determinization_set_impl< Aut >::context_t = context_t_of<automaton_t>

label_t

template<typename Aut >

using awali::sttc::internal::determinization_set_impl< Aut >::label_t = label_t_of<automaton_t>

state_set

template<typename Aut >

using awali::sttc::internal::determinization_set_impl< Aut >::state_set = std::set<state_t>

Set of (input) states.

Constructor & Destructor Documentation

determinization_set_impl()

template<typename Aut >

awali::sttc::internal::determinization_set_impl< Aut >::determinization_set_impl

(

const automaton_t &

a

)

Build the determinizer.

Parameters

a	the automaton to determinize

Member Function Documentation

operator()()

template<typename Aut >

automaton_nocv_t awali::sttc::internal::determinization_set_impl< Aut >::operator()

(

)

Determinize all accessible states.

set_history()

template<typename Aut >

void awali::sttc::internal::determinization_set_impl< Aut >::set_history

(

)

state()

template<typename Aut >

state_t awali::sttc::internal::determinization_set_impl< Aut >::state

(

const state_set &

ss

)

The state for set of states ss.

If this is a new state, schedule it for visit.

---

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

• /home/marsault/git-client/telecom/awali.git/awali/sttc/algos/determinize/determinize.hxx