awali::sttc::no_history Class Reference

specialisation of history_base More...

#include <no_history.hh>

Inheritance diagram for awali::sttc::no_history:

Public Member Functions
history_kind_t	get_nature () const override
state_t	get_state (state_t) override
std::vector< state_t >	get_state_set (state_t) override
bool	has_history () const override
bool	has_history (state_t) const override
std::ostream &	print_state_name (state_t, std::ostream &o, const std::string &) const override
bool	remove_history (state_t) override
Public Member Functions inherited from awali::sttc::history_base
virtual	~history_base ()
template<typename H >
H &	as ()
template<typename H >
H &	as () const

Detailed Description

specialisation of history_base

This type is used to specify that the automaton has no history.

Member Function Documentation

get_nature()

history_kind_t awali::sttc::no_history::get_nature ( ) const

overridevirtual

Implements awali::sttc::history_base.

get_state()

state_t awali::sttc::no_history::get_state ( state_t  )

overridevirtual

Implements awali::sttc::history_base.

get_state_set()

std::vector<state_t> awali::sttc::no_history::get_state_set ( state_t  )

overridevirtual

Implements awali::sttc::history_base.

has_history() [1/2]

bool awali::sttc::no_history::has_history ( ) const

overridevirtual

Reimplemented from awali::sttc::history_base.

has_history() [2/2]

bool awali::sttc::no_history::has_history ( state_t  ) const

overridevirtual

Implements awali::sttc::history_base.

print_state_name()

std::ostream& awali::sttc::no_history::print_state_name ( state_t  , std::ostream &  o, const std::string &    ) const

overridevirtual

Implements awali::sttc::history_base.

remove_history()

bool awali::sttc::no_history::remove_history ( state_t  )

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/no_history.hh