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

The weighted determinization of weighted automaton. More...

#include <determinize.hxx>

Data Structures
struct	stateset
	An output state is a list of weighted input states. More...

Public Types
using	automaton_t = Aut
using	label_t = label_t_of< automaton_t >
using	state_name_t = typename state_nameset_t::value_t
using	state_nameset_t = polynomialset< context< stateset, weightset_t > >
using	weight_t = weight_t_of< automaton_t >
using	weightset_t = weightset_t_of< automaton_t >

Public Member Functions
	detweighted_algo_impl (const automaton_t &a)
	Build the weighted determinizer. More...
void	init_initial_state ()
automaton_t	operator() ()
	The determinization of weighted automaton. More...

Detailed Description

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

The weighted determinization of weighted automaton.

This function only applies to true finite state machine. The result is a deterministic automaton where the weight of the word is given by the final function. If the semiring is not locally finite, the termination is not assured.

Template Parameters

Aut	an weighted automaton type.

Precondition

labelset is free.

Member Typedef Documentation

automaton_t

template<typename Aut >

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

label_t

template<typename Aut >

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

state_name_t

template<typename Aut >

using awali::sttc::internal::detweighted_algo_impl< Aut >::state_name_t = typename state_nameset_t::value_t

state_nameset_t

template<typename Aut >

using awali::sttc::internal::detweighted_algo_impl< Aut >::state_nameset_t = polynomialset<context<stateset, weightset_t> >

weight_t

template<typename Aut >

using awali::sttc::internal::detweighted_algo_impl< Aut >::weight_t = weight_t_of<automaton_t>

weightset_t

template<typename Aut >

using awali::sttc::internal::detweighted_algo_impl< Aut >::weightset_t = weightset_t_of<automaton_t>

Constructor & Destructor Documentation

detweighted_algo_impl()

template<typename Aut >

awali::sttc::internal::detweighted_algo_impl< Aut >::detweighted_algo_impl

(

const automaton_t &

a

)

Build the weighted determinizer.

Parameters

a	the weighted automaton to determinize

Member Function Documentation

init_initial_state()

template<typename Aut >

void awali::sttc::internal::detweighted_algo_impl< Aut >::init_initial_state

(

)

operator()()

template<typename Aut >

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

(

)

The determinization of weighted automaton.

---

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

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