awali::sttc::internal::determinization_bitset_impl< Aut, N > 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::bitset< N >
	Set of (input) states. More...

Public Member Functions
	determinization_bitset_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, unsigned N>
class awali::sttc::internal::determinization_bitset_impl< Aut, N >

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 , unsigned N>

using awali::sttc::internal::determinization_bitset_impl< Aut, N >::automaton_nocv_t = mutable_automaton<context_t_of<Aut> >

automaton_t

template<typename Aut , unsigned N>

using awali::sttc::internal::determinization_bitset_impl< Aut, N >::automaton_t = Aut

context_t

template<typename Aut , unsigned N>

using awali::sttc::internal::determinization_bitset_impl< Aut, N >::context_t = context_t_of<automaton_t>

label_t

template<typename Aut , unsigned N>

using awali::sttc::internal::determinization_bitset_impl< Aut, N >::label_t = label_t_of<automaton_t>

state_set

template<typename Aut , unsigned N>

using awali::sttc::internal::determinization_bitset_impl< Aut, N >::state_set = std::bitset<N>

Set of (input) states.

Constructor & Destructor Documentation

determinization_bitset_impl()

template<typename Aut , unsigned N>

awali::sttc::internal::determinization_bitset_impl< Aut, N >::determinization_bitset_impl

(

const automaton_t &

a

)

Build the determinizer.

Parameters

a	the automaton to determinize

Member Function Documentation

operator()()

template<typename Aut , unsigned N>

automaton_nocv_t awali::sttc::internal::determinization_bitset_impl< Aut, N >::operator()

(

)

Determinize all accessible states.

set_history()

template<typename Aut , unsigned N>

void awali::sttc::internal::determinization_bitset_impl< Aut, N >::set_history

(

)

state()

template<typename Aut , unsigned N>

state_t awali::sttc::internal::determinization_bitset_impl< Aut, N >::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