awali::sttc::single_history< Autb > Class Template Reference

specialisation of history_base More...

#include <single_history.hh>

Inheritance diagram for awali::sttc::single_history< Autb >:

Public Member Functions
	single_history (const Autb &source)
void	add_state (state_t s, const state_t &sb)
	set the history of state s More...
history_kind_t	get_nature () const override
state_t	get_state (state_t s) override
std::vector< state_t >	get_state_set (state_t) override
	unsupported method : use get_state More...
bool	has_history (state_t s) const override
const std::map< state_t, state_t > &	origins () const
	map between states and states of the source automaton 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
const history_base &	source_history ()
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 Autb>
class awali::sttc::single_history< Autb >

specialisation of history_base

Template Parameters

Autb	the type of the source automaton

This type is used to specify that a state of the automaton correspond a state of the source automaton.

This type of history is filled in copy, in conversion functions an in functions that call copy before applying an in-place algorithm.

Constructor & Destructor Documentation

single_history()

template<typename Autb >

awali::sttc::single_history< Autb >::single_history

(

const Autb &

source

)

Member Function Documentation

add_state()

template<typename Autb >

void awali::sttc::single_history< Autb >::add_state	(	state_t	s,
		const state_t &	sb
	)

set the history of state s

get_nature()

template<typename Autb >

history_kind_t awali::sttc::single_history< Autb >::get_nature ( ) const

overridevirtual

Returns

history_kind_t::SINGLE

Implements awali::sttc::history_base.

get_state()

template<typename Autb >

state_t awali::sttc::single_history< Autb >::get_state ( state_t  s )

overridevirtual

Implements awali::sttc::history_base.

get_state_set()

template<typename Autb >

std::vector<state_t> awali::sttc::single_history< Autb >::get_state_set ( state_t  )

overridevirtual

unsupported method : use get_state

Exceptions

runtime_error

Implements awali::sttc::history_base.

has_history()

template<typename Autb >

bool awali::sttc::single_history< Autb >::has_history ( state_t  s ) const

overridevirtual

Implements awali::sttc::history_base.

origins()

template<typename Autb >

const std::map<state_t, state_t>& awali::sttc::single_history< Autb >::origins

(

)

const

map between states and states of the source automaton

print_state_name()

template<typename Autb >

std::ostream& awali::sttc::single_history< Autb >::print_state_name ( state_t  s, std::ostream &  o, const std::string &  fmt  ) const

overridevirtual

Implements awali::sttc::history_base.

remove_history()

template<typename Autb >

bool awali::sttc::single_history< Autb >::remove_history ( state_t  s )

overridevirtual

Implements awali::sttc::history_base.

source_history()

template<typename Autb >

const history_base& awali::sttc::single_history< Autb >::source_history

(

)

---

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

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