awali::sttc::internal::derived_termer< RatExpSet > Struct Template Reference

#include <derivation.hh>

Public Types
using	automaton_t = mutable_automaton< context_t >
using	context_t = context_t_of< ratexpset_t >
using	polynomial_t = typename polynomialset_t::value_t
using	polynomialset_t = rat::ratexp_polynomialset_t< ratexpset_t >
	Symbolic states: the derived terms are polynomials of ratexps. More...
using	ratexp_t = typename ratexpset_t::value_t
using	ratexpset_t = RatExpSet
using	smap = std::unordered_map< ratexp_t, state_t, utils::hash< ratexpset_t >, utils::equal_to< ratexpset_t > >
	Symbolic states to state handlers. More...
using	weightset_t = weightset_t_of< context_t >

Public Member Functions
	derived_termer (const ratexpset_t &rs, bool breaking=false, bool keep_history=true)
automaton_t	operator() (const ratexp_t &ratexp)
state_t	state (const ratexp_t &r)
	The state for ratexp r. More...

Member Typedef Documentation

automaton_t

template<typename RatExpSet >

using awali::sttc::internal::derived_termer< RatExpSet >::automaton_t = mutable_automaton<context_t>

context_t

template<typename RatExpSet >

using awali::sttc::internal::derived_termer< RatExpSet >::context_t = context_t_of<ratexpset_t>

polynomial_t

template<typename RatExpSet >

using awali::sttc::internal::derived_termer< RatExpSet >::polynomial_t = typename polynomialset_t::value_t

polynomialset_t

template<typename RatExpSet >

using awali::sttc::internal::derived_termer< RatExpSet >::polynomialset_t = rat::ratexp_polynomialset_t<ratexpset_t>

Symbolic states: the derived terms are polynomials of ratexps.

ratexp_t

template<typename RatExpSet >

using awali::sttc::internal::derived_termer< RatExpSet >::ratexp_t = typename ratexpset_t::value_t

ratexpset_t

template<typename RatExpSet >

using awali::sttc::internal::derived_termer< RatExpSet >::ratexpset_t = RatExpSet

smap

template<typename RatExpSet >

using awali::sttc::internal::derived_termer< RatExpSet >::smap = std::unordered_map<ratexp_t, state_t, utils::hash<ratexpset_t>, utils::equal_to<ratexpset_t> >

Symbolic states to state handlers.

weightset_t

template<typename RatExpSet >

using awali::sttc::internal::derived_termer< RatExpSet >::weightset_t = weightset_t_of<context_t>

Constructor & Destructor Documentation

derived_termer()

template<typename RatExpSet >

awali::sttc::internal::derived_termer< RatExpSet >::derived_termer	(	const ratexpset_t &	rs,
		bool	breaking = false,
		bool	keep_history = true
	)

Member Function Documentation

operator()()

template<typename RatExpSet >

automaton_t awali::sttc::internal::derived_termer< RatExpSet >::operator()

(

const ratexp_t &

ratexp

)

state()

template<typename RatExpSet >

state_t awali::sttc::internal::derived_termer< RatExpSet >::state

(

const ratexp_t &

r

)

The state for ratexp r.

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

---

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

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