Awali
Another Weighted Automata library
Public Types | Public Member Functions
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

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: