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 >:

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_t &	get_ratexp (state_t s)
state_t	get_state (state_t) override
	unsupported method : use get_ratexp More...
std::vector< state_t >	get_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

RatExpSet

the 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

Returns

history_kind_t::RATEXP

Implements awali::sttc::history_base.

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

Implements awali::sttc::history_base.

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

Implements awali::sttc::history_base.

remove_history()

template<typename RatExpSet >

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

overridevirtual

Implements awali::sttc::history_base.

---

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

• /home/marsault/git-client/telecom/awali.git/awali/sttc/history/ratexp_history.hh