awali::sttc::history_base Class Reference

base type for history of automata More...

#include <history.hh>

Inheritance diagram for awali::sttc::history_base:

Public Member Functions
virtual	~history_base ()
template<typename H >
H &	as ()
template<typename H >
H &	as () const
virtual history_kind_t	get_nature () const =0
virtual state_t	get_state (state_t s)=0
virtual std::vector< state_t >	get_state_set (state_t s)=0
virtual bool	has_history () const
virtual bool	has_history (state_t) const =0
virtual std::ostream &	print_state_name (state_t s, std::ostream &o, const std::string &fmt="text") const =0
virtual bool	remove_history (state_t)=0

Detailed Description

base type for history of automata

Every automaton is connected with two history objects:

• an object that carries the history of the states; this object can be updated by some algorithms;
  
• a string_history that carries the name of states.
  

Constructor & Destructor Documentation

~history_base()

virtual awali::sttc::history_base::~history_base ( )

virtual

Member Function Documentation

as() [1/2]

template<typename H >

H& awali::sttc::history_base::as

(

)

as() [2/2]

template<typename H >

H& awali::sttc::history_base::as

(

)

const

get_nature()

virtual history_kind_t awali::sttc::history_base::get_nature ( ) const

pure virtual

Implemented in awali::sttc::tuple_history< Auts >, awali::sttc::string_history, awali::sttc::single_history< Autb >, awali::sttc::ratexp_history< RatExpSet >, awali::sttc::partition_history< Autb >, and awali::sttc::no_history.

get_state()

virtual state_t awali::sttc::history_base::get_state ( state_t  s )

pure virtual

Implemented in awali::sttc::tuple_history< Auts >, awali::sttc::string_history, awali::sttc::ratexp_history< RatExpSet >, awali::sttc::partition_history< Autb >, awali::sttc::no_history, and awali::sttc::single_history< Autb >.

get_state_set()

virtual std::vector<state_t> awali::sttc::history_base::get_state_set ( state_t  s )

pure virtual

Implemented in awali::sttc::string_history, awali::sttc::single_history< Autb >, awali::sttc::ratexp_history< RatExpSet >, awali::sttc::no_history, awali::sttc::tuple_history< Auts >, and awali::sttc::partition_history< Autb >.

has_history() [1/2]

virtual bool awali::sttc::history_base::has_history ( ) const

virtual

Reimplemented in awali::sttc::no_history.

has_history() [2/2]

virtual bool awali::sttc::history_base::has_history ( state_t  ) const

pure virtual

Implemented in awali::sttc::no_history, awali::sttc::tuple_history< Auts >, awali::sttc::string_history, awali::sttc::single_history< Autb >, awali::sttc::ratexp_history< RatExpSet >, and awali::sttc::partition_history< Autb >.

print_state_name()

virtual std::ostream& awali::sttc::history_base::print_state_name ( state_t  s, std::ostream &  o, const std::string &  fmt = "text"  ) const

pure virtual

Implemented in awali::sttc::no_history, awali::sttc::tuple_history< Auts >, awali::sttc::single_history< Autb >, awali::sttc::ratexp_history< RatExpSet >, awali::sttc::partition_history< Autb >, and awali::sttc::string_history.

remove_history()

virtual bool awali::sttc::history_base::remove_history ( state_t  )

pure virtual

Implemented in awali::sttc::no_history, awali::sttc::tuple_history< Auts >, awali::sttc::string_history, awali::sttc::single_history< Autb >, awali::sttc::ratexp_history< RatExpSet >, and awali::sttc::partition_history< Autb >.

---

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

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