awali::sttc::internal::partial_identiter< Aut, I > Struct Template Reference

#include <partial_identity.hh>

Public Types
using	in_context_t = context_t_of< Aut >
using	in_labelset_t = labelset_t_of< in_context_t >
using	out_automaton_t = mutable_automaton< out_context_t >
using	out_context_t = context< out_labelset_t, weightset_t >
using	out_labelset_t = typename multitupleset< I, in_labelset_t >::type
using	weightset_t = weightset_t_of< in_context_t >

Public Member Functions
	partial_identiter (const Aut &in)
void	operator() ()
void	set_history ()

Data Fields
const Aut &	in_
	Input automaton. More...
mutable_automaton< out_context_t >	out_
	Output automaton. More...
std::unordered_map< state_t, state_t >	out_state
	input state -> output state. More...

Member Typedef Documentation

in_context_t

template<typename Aut , size_t I>

using awali::sttc::internal::partial_identiter< Aut, I >::in_context_t = context_t_of<Aut>

in_labelset_t

template<typename Aut , size_t I>

using awali::sttc::internal::partial_identiter< Aut, I >::in_labelset_t = labelset_t_of<in_context_t>

out_automaton_t

template<typename Aut , size_t I>

using awali::sttc::internal::partial_identiter< Aut, I >::out_automaton_t = mutable_automaton<out_context_t>

out_context_t

template<typename Aut , size_t I>

using awali::sttc::internal::partial_identiter< Aut, I >::out_context_t = context<out_labelset_t, weightset_t>

out_labelset_t

template<typename Aut , size_t I>

using awali::sttc::internal::partial_identiter< Aut, I >::out_labelset_t = typename multitupleset<I,in_labelset_t>::type

weightset_t

template<typename Aut , size_t I>

using awali::sttc::internal::partial_identiter< Aut, I >::weightset_t = weightset_t_of<in_context_t>

Constructor & Destructor Documentation

partial_identiter()

template<typename Aut , size_t I>

awali::sttc::internal::partial_identiter< Aut, I >::partial_identiter

(

const Aut &

in

)

Member Function Documentation

operator()()

template<typename Aut , size_t I>

void awali::sttc::internal::partial_identiter< Aut, I >::operator()

(

)

set_history()

template<typename Aut , size_t I>

void awali::sttc::internal::partial_identiter< Aut, I >::set_history

(

)

Field Documentation

in_

template<typename Aut , size_t I>

const Aut& awali::sttc::internal::partial_identiter< Aut, I >::in_

Input automaton.

out_

template<typename Aut , size_t I>

mutable_automaton<out_context_t> awali::sttc::internal::partial_identiter< Aut, I >::out_

Output automaton.

out_state

template<typename Aut , size_t I>

std::unordered_map<state_t, state_t> awali::sttc::internal::partial_identiter< Aut, I >::out_state

input state -> output state.

---

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

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