Awali
Another Weighted Automata library
Public Types | Public Member Functions
awali::sttc::ratexp_history< RatExpSet > Class Template Reference

specialisation of history_base More...

#include <ratexp_history.hh>

Inheritance diagram for awali::sttc::ratexp_history< RatExpSet >:
awali::sttc::history_base

Public Types

using ratexp_t = typename ratexpset_t::value_t
 
using ratexpset_t = RatExpSet
 

Public Member Functions

 ratexp_history (const ratexpset_t &rs)
 
void add_state (state_t s, const ratexp_t &expr)
 set the history of state s More...
 
history_kind_t get_nature () const override
 
const ratexp_tget_ratexp (state_t s)
 
state_t get_state (state_t) override
 unsupported method : use get_ratexp More...
 
std::vector< state_tget_state_set (state_t) override
 unsupported method : use get_ratexp More...
 
bool has_history (state_t s) const override
 
const std::map< state_t, ratexp_t > & origins () const
 map between states and rational expressions More...
 
std::ostream & print_state_name (state_t s, std::ostream &o, const std::string &fmt) const override
 
bool remove_history (state_t s) override
 
- Public Member Functions inherited from awali::sttc::history_base
virtual ~history_base ()
 
template<typename H >
H & as ()
 
template<typename H >
H & as () const
 
virtual bool has_history () const
 

Detailed Description

template<typename RatExpSet>
class awali::sttc::ratexp_history< RatExpSet >

specialisation of history_base

Template Parameters
RatExpSetthe context of rational expressions

This type is used to specified that the states of the automaton correspond to rational expressions. has been built from a source automaton, and that states correspond to subsets of states of the source automaton.

This type of history is filled in derived_term.

Member Typedef Documentation

◆ ratexp_t

template<typename RatExpSet >
using awali::sttc::ratexp_history< RatExpSet >::ratexp_t = typename ratexpset_t::value_t

◆ ratexpset_t

template<typename RatExpSet >
using awali::sttc::ratexp_history< RatExpSet >::ratexpset_t = RatExpSet

Constructor & Destructor Documentation

◆ ratexp_history()

template<typename RatExpSet >
awali::sttc::ratexp_history< RatExpSet >::ratexp_history ( const ratexpset_t rs)

Member Function Documentation

◆ add_state()

template<typename RatExpSet >
void awali::sttc::ratexp_history< RatExpSet >::add_state ( state_t  s,
const ratexp_t expr 
)

set the history of state s

◆ get_nature()

template<typename RatExpSet >
history_kind_t awali::sttc::ratexp_history< RatExpSet >::get_nature ( ) const
overridevirtual

◆ get_ratexp()

template<typename RatExpSet >
const ratexp_t& awali::sttc::ratexp_history< RatExpSet >::get_ratexp ( state_t  s)

◆ get_state()

template<typename RatExpSet >
state_t awali::sttc::ratexp_history< RatExpSet >::get_state ( state_t  )
overridevirtual

unsupported method : use get_ratexp

Exceptions
runtime_error

Implements awali::sttc::history_base.

◆ get_state_set()

template<typename RatExpSet >
std::vector<state_t> awali::sttc::ratexp_history< RatExpSet >::get_state_set ( state_t  )
overridevirtual

unsupported method : use get_ratexp

Exceptions
runtime_error

Implements awali::sttc::history_base.

◆ has_history()

template<typename RatExpSet >
bool awali::sttc::ratexp_history< RatExpSet >::has_history ( state_t  s) const
overridevirtual

◆ origins()

template<typename RatExpSet >
const std::map<state_t, ratexp_t>& awali::sttc::ratexp_history< RatExpSet >::origins ( ) const

map between states and rational expressions

◆ print_state_name()

template<typename RatExpSet >
std::ostream& awali::sttc::ratexp_history< RatExpSet >::print_state_name ( state_t  s,
std::ostream &  o,
const std::string &  fmt 
) const
overridevirtual

◆ remove_history()

template<typename RatExpSet >
bool awali::sttc::ratexp_history< RatExpSet >::remove_history ( state_t  s)
overridevirtual

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