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

specialisation of history_base More...

#include <partition_history.hh>

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

Public Types
using	state_set_t = std::set< state_t >

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

specialisation of history_base

Template Parameters

Autb	the type of the source automaton

This type is used to specify that the automaton 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 determinize, min_quotient, and related functions.

Member Typedef Documentation

state_set_t

template<typename Autb >

using awali::sttc::partition_history< Autb >::state_set_t = std::set<state_t>

Constructor & Destructor Documentation

partition_history()

template<typename Autb >

awali::sttc::partition_history< Autb >::partition_history

(

const Autb &

source

)

Member Function Documentation

add_state()

template<typename Autb >

void awali::sttc::partition_history< Autb >::add_state	(	state_t	s,
		const state_set_t &	set
	)

set the history of state s

get_nature()

template<typename Autb >

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

overridevirtual

Returns

history_kind_t::PARTITION

Implements awali::sttc::history_base.

get_state()

template<typename Autb >

state_t awali::sttc::partition_history< Autb >::get_state ( state_t  )

overridevirtual

unsupported method : use get_state_set

Exceptions

runtime_error

Implements awali::sttc::history_base.

get_state_set()

template<typename Autb >

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

overridevirtual

Implements awali::sttc::history_base.

has_history()

template<typename Autb >

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

overridevirtual

Implements awali::sttc::history_base.

origins()

template<typename Autb >

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

(

)

const

map between states of the automaton and subsets of states of the source

print_state_name()

template<typename Autb >

std::ostream& awali::sttc::partition_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::partition_history< Autb >::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/partition_history.hh